Tiziano Dalmonte

According to our database, Tiziano Dalmonte authored at least 19 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Minimal modal logics, constructive modal logics and their relations.

Tiziano Dalmonte

CoRR, 2023

Non-Normal Modal Description Logics (Extended Version).

Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard

CoRR, 2023

CoNP Complexity for Combinations of Non-normal Modal Logics.

Tiziano Dalmonte, Andrea Mazzullo

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Non-Normal Modal Description Logics.

Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

Proceedings of the Logic, Language, Information, and Computation, 2022

Reasoning in Non-normal Modal Description Logics.

Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi.

Tiziano Dalmonte, Marianna Girlando

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

Wijesekera-style constructive modal logics.

Tiziano Dalmonte

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

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

Terminating Calculi and Countermodels for Constructive Modal Logics.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Proof Systems for the Logics of Bringing-It-About.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Intuitionistic Non-normal Modal Logics: A General Framework.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

J. Philos. Log., 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

Theorem Proving for Non-normal Modal Logics.

Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.

Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description).

Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

On Non-normal Modal Description Logics.

Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki

Proceedings of the 32nd International Workshop on Description Logics, 2019

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics.

Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi.

Tiziano Dalmonte, Nicola Olivetti, Sara Negri

Proceedings of the Advances in Modal Logic 12, 2018