Tiziano Dalmonte

30 papers B 7C 1Misc 1Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version).
CoRR
Tiziano Dalmonte, Marianna Girlando
2025 B conf
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic.
TABLEAUX
Tiziano Dalmonte, Marianna Girlando
2025 J jnl
Correction: Non-Monotonicity and Contraposition.
J. Log. Lang. Inf.
Vincenzo Crupi, Tiziano Dalmonte, Andrea Iacona
2025 J jnl
Minimal Modal Logics, Constructive Modal Logics and their Relations.
Rev. Symb. Log.
Tiziano Dalmonte
2025 J jnl
Non-Monotonicity and Contraposition.
J. Log. Lang. Inf.
Vincenzo Crupi, Tiziano Dalmonte, Andrea Iacona
2024 J jnl
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.
J. Log. Comput.
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2023 B conf
CoNP Complexity for Combinations of Non-normal Modal Logics.
TABLEAUX
Tiziano Dalmonte, Andrea Mazzullo
2023 J jnl
Minimal modal logics, constructive modal logics and their relations.
CoRR
Tiziano Dalmonte
2023 J jnl
Non-Normal Modal Description Logics (Extended Version).
CoRR
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
2023 B conf
Non-Normal Modal Description Logics.
JELIA
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
2022 B conf
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi.
AiML
Tiziano Dalmonte, Marianna Girlando
2022 J jnl
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi.
CoRR
Tiziano Dalmonte, Marianna Girlando
2022 — conf
Reasoning in Non-normal Modal Description Logics.
ARQNL@IJCAR
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
2022 J jnl
Reasoning in Non-normal Modal Description Logics.
CoRR
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
2022 C conf
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations.
WoLLIC
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2022 B conf
Wijesekera-style constructive modal logics.
AiML
Tiziano Dalmonte
2022 J jnl
Wijesekera-style constructive modal logics.
CoRR
Tiziano Dalmonte
2021 J jnl
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.
J. Log. Comput.
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2021 — conf
Proof Systems for the Logics of Bringing-It-About.
DEON
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2021 B conf
Terminating Calculi and Countermodels for Constructive Modal Logics.
TABLEAUX
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2020 Misc conf
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.
LFCS
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2020 — conf
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description).
IJCAR (2)
Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
2020 J jnl
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity.
CoRR
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2020 J jnl
Intuitionistic Non-normal Modal Logics: A General Framework.
J. Philos. Log.
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2020 J jnl
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM.
Intelligenza Artificiale
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2020 — conf
Theorem Proving for Non-normal Modal Logics.
OVERLAY
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2019 J jnl
Intuitionistic Non-Normal Modal Logics: A general framework.
CoRR
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2019 — conf
On Non-normal Modal Description Logics.
Description Logics
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
2019 — conf
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics.
AI*IA
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2018 B conf
Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi.
Advances in Modal Logic
Tiziano Dalmonte, Nicola Olivetti, Sara Negri