Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. - Tiziano Dalmonte; Nicola Olivetti; Sara Negri (Advances in Modal Logic, 2018)

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2019)

On Non-normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki (Description Logics, 2019)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). - Tiziano Dalmonte; Nicola Olivetti; Gian Luca Pozzato (IJCAR (2), 2020)

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. - Tiziano Dalmonte; Björn Lellmann; Nicola Olivetti; Elaine Pimentel (LFCS, 2020)

Theorem Proving for Non-normal Modal Logics. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (OVERLAY, 2020)

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (Intelligenza Artificiale, 2020)

Intuitionistic Non-normal Modal Logics: A General Framework. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (J. Philos. Log., 2020)

Proof Systems for the Logics of Bringing-It-About. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (DEON, 2021)

Terminating Calculi and Countermodels for Constructive Modal Logics. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (TABLEAUX, 2021)

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. - Tiziano Dalmonte; Björn Lellmann; Nicola Olivetti; Elaine Pimentel (J. Log. Comput., 2021)

Wijesekera-style constructive modal logics. - Tiziano Dalmonte (AiML, 2022)

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. - Tiziano Dalmonte; Marianna Girlando (AiML, 2022)

Reasoning in Non-normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki (ARQNL@IJCAR, 2022)

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (WoLLIC, 2022)

Non-Normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki; Nicolas Troquard (JELIA, 2023)

CoNP Complexity for Combinations of Non-normal Modal Logics. - Tiziano Dalmonte; Andrea Mazzullo (TABLEAUX, 2023)

Non-Normal Modal Description Logics (Extended Version). - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki; Nicolas Troquard (CoRR, 2023)

Minimal modal logics, constructive modal logics and their relations. - Tiziano Dalmonte (CoRR, 2023)

Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (J. Log. Comput., 2024)

Non-Monotonicity and Contraposition. - Vincenzo Crupi 001; Tiziano Dalmonte; Andrea Iacona (J. Log. Lang. Inf., 2025)

Correction: Non-Monotonicity and Contraposition. - Vincenzo Crupi 001; Tiziano Dalmonte; Andrea Iacona (J. Log. Lang. Inf., 2025)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version). - Tiziano Dalmonte; Marianna Girlando (CoRR, 2025)