| 2025 | TABLEAUX | A Proof-Theoretic View of Basic Intuitionistic Conditional Logic. | Tiziano Dalmonte, Marianna Girlando |
| 2023 | JELIA | Non-Normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard |
| 2023 | TABLEAUX | CoNP Complexity for Combinations of Non-normal Modal Logics. | Tiziano Dalmonte, Andrea Mazzullo |
| 2022 | AiML | Wijesekera-style constructive modal logics. | Tiziano Dalmonte |
| 2022 | AiML | Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. | Tiziano Dalmonte, Marianna Girlando |
| 2022 | CADE | Reasoning in Non-normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki |
| 2022 | WoLLIC | Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2021 | TABLEAUX | Terminating Calculi and Countermodels for Constructive Modal Logics. | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2020 | CADE | HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). | Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato |
| 2020 | LFCS | Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. | Tiziano Dalmonte, Bjrn Lellmann, Nicola Olivetti, Elaine Pimentel |
| 2018 | AiML | Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. | Tiziano Dalmonte, Nicola Olivetti, Sara Negri |