Tiziano Dalmonte

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 25

Top Topics

Sequent Calculi

Computing Least Common Subsumers

Top Venues

J. Log. Comput.

Publications

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. J. Log. Comput. 34 (4) (2024)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
Non-Normal Modal Description Logics (Extended Version). CoRR (2023)
Tiziano Dalmonte, Andrea Mazzullo
CoNP Complexity for Combinations of Non-normal Modal Logics. TABLEAUX (2023)
Tiziano Dalmonte
Minimal modal logics, constructive modal logics and their relations. CoRR (2023)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
Non-Normal Modal Description Logics. JELIA (2023)
Tiziano Dalmonte
Wijesekera-style constructive modal logics. AiML (2022)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Reasoning in Non-normal Modal Description Logics. ARQNL@IJCAR (2022)
Tiziano Dalmonte
Wijesekera-style constructive modal logics. CoRR (2022)
Tiziano Dalmonte, Marianna Girlando
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. CoRR (2022)
Tiziano Dalmonte, Marianna Girlando
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. AiML (2022)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Reasoning in Non-normal Modal Description Logics. CoRR (2022)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. WoLLIC (2022)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Proof Systems for the Logics of Bringing-It-About. DEON (2021)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. J. Log. Comput. 31 (1) (2021)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Terminating Calculi and Countermodels for Constructive Modal Logics. TABLEAUX (2021)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity. CoRR (2020)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. LFCS (2020)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale 14 (2) (2020)
Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). IJCAR (2) (2020)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
Theorem Proving for Non-normal Modal Logics. OVERLAY (2020)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Intuitionistic Non-normal Modal Logics: A General Framework. J. Philos. Log. 49 (5) (2020)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Intuitionistic Non-Normal Modal Logics: A general framework. CoRR (2019)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
On Non-normal Modal Description Logics. Description Logics (2019)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. AI*IA (2019)
Tiziano Dalmonte, Nicola Olivetti, Sara Negri
Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. Advances in Modal Logic (2018)