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
Marco Bernardo, Claudio A. Mezzina, Andrea Esposito, "Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities", Theoretical Computer Science (2025), doi: https://doi.org/10.1016/j.tcs.2025.115646
Alessandro Aldini, Claudio Antares Mezzina, "Formalizing Errors in CCS with 3-Valued Logic". In Proceedings of COORDINATION 2025, Lecture Notes in Computer Science, Springer doi:https://doi.org/10.1007/978-3-031-95589-1_2
Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina, "Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets". In Proceedings of FoSSaCS 2025, Lecture Notes in Computer Science, Springer, https://doi.org/10.1007/978-3-031-90897-2_4
Ivan Lanese, Claudio Antares Mezzina, Martin Vassor, "Bounded Reversibility in HO". In Proceedings of Components Operationally: Reversibility and System Engineering. Lecture Notes in Computer Science, Springer doi https://doi.org/10.1007/978-3-031-99717-4_2
Hernàn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna, "Encoding Reversible Petri Nets into CCSK". In Proceedings of Components Operationally: Reversibility and System Engineering. Lecture Notes in Computer Science, Springer, doi https://doi.org/10.1007/978-3-031-99717-4_1
Chajda, I., Länger, H., Ledda, A., Paseka, J., & Vergottini, G. (2025). Tense logics based on posets. Journal of Logic and Computation, 35(4), exae081. https://doi.org/10.1093/logcom/exae081
Chajda, I., Ledda, A., Paseka, J., & Vergottini, G. (2025). Unsharp residuation in posets. Fuzzy Sets and Systems, 523 (15 January 2026). https://doi.org/10.1016/j.fss.2025.109635
Chajda, I., Ledda, A., & Vergottini, G. (2025). Representations of regular double Stone algebras: theory and applications. Logic Journal of the IGPL, 33(6). https://doi.org/10.1093/jigpal/jzaf086
Giuntini, R., Ledda, A., & Vergottini, G. (2025). Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation. Logic Journal of the IGPL, 33(2), jzae076. https://doi.org/10.1093/jigpal/jzae076
Ledda, A., & Vergottini, G. (2024). A survey on unsharp orthomodular lattices: A unifying framework. Journal of Algebraic Hyperstructures and Logical Algebras, 5(1), 19–33. https://doi.org/10.61838/kman.jahla.5.1.4
Ledda, A., & Vergottini, G. (2025). Orthomodular and unsharp orthomodular lattices: A categorical equivalence. Studia Logica. https://doi.org/10.1007/s11225-025-10191-z
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