Research Outputs

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>.

• 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. 

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