DeKLA Publications:
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri, "A probabilistic modal logic for context-aware trust based on evidence". International Journal of Approximate Reasoning, 2024. DOI:<https://doi.org/10.1016/j.ijar.2024.109167>.
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida, "Checkpoint-based rollback recovery in session programming". Logical Methods in Computer Science, 2025. DOI
Hermàn Melgratti, Claudio Antares Mezzina, G. Michele Pinna, "A truly concurrent semantics for reversible CCS". Logical Methods in Computer Science, 2024. DOI
Hermán Melgratti, Claudio Antares Mezzina, G. Michele Pinna, "A Reversible Perspective on Petri Nets and Event Structures ". ACM Transactions of Computational Logic, 2024. DOI
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen, "revTPL: The Reversible Temporal Process Language". Logical Methods in Computer Science, 2024. DOI
Stefano Bonzio and Michele Pra Baldi. On the structure of Bochvar algebras. The Review of Symbolic Logic, 2024.
Stefano Bonzio and Nicolò Zamperlin. Modal weak Kleene logics: axiomatizations and relational semantics. Preprint.
Aldini, A., Fazio, D., Graziani, P., Mascella, R., & Tagliaferri, M. (2025). "On group secrets and the metacommunicative aspects of revealing a true secret". In Proceedings of CIFMA 2024, Lecture Notes in Computer Science (forthcoming).
Quaresma, P., & Graziani, P. (2025). "A Readability Criterion for Humans and Machines". In Proceedings of CIFMA 2024, Lecture Notes in Computer Science (forthcoming).
Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna, "Model Checking Reversible Systems: Forwardly". In Proceedings of RC2024, Lecture Notes in Computer Science, 2024. DOI
Other related publications:
Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani, Michele Pra Baldi, "A Logical Modeling of Severe Ignorance". Journal of Philosophical Logic, 52, pp. 1053–1080, 2023. DOI:<https://doi.org/10.1007/s10992-022-09697-x>.
Stefano Bonzio, Francesco Paoli and Michele Pra Baldi. Logics of variable inclusion, Trends in Logic, Springer, 2022.
Seminars:
Francesco Paoli (University of Cagliari) "Sequent Calculi for First-Order Strict-Tolerant Logic", March 21, 2024 Urbino
Shoji Yuen (Nagoya University) "Bidirectional flow analysis for a concurrent reversible programming language", February 28, 2024 Urbino