Tiziano Dalmonte

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A proof-theoretic view of basic intuitionistic conditional logic	2026-02-10	Paper
Proof theory for the logics of bringing-it-about: ability, coalitions and means-end relationship Journal Of Logic And Computation	2024-11-12	Paper
Non-normal Modal description logics	2024-05-29	Paper
CoNP complexity for combinations of non-normal modal logics	2024-05-17	Paper
Towards an intuitionistic deontic logic tolerating conflicting obligations Logic, Language, Information, and Computation	2023-06-02	Paper
Wijesekera-style constructive modal logics (available as arXiv preprint)	2023-03-24	Paper
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi (available as arXiv preprint)	2023-03-24	Paper
Proof systems for the logics of bringing-it-about	2023-02-21	Paper
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) Automated Reasoning	2022-11-09	Paper
Wijesekera-style constructive modal logics (available as arXiv preprint)	2022-10-18	Paper
Terminating calculi and countermodels for constructive modal logics	2022-05-25	Paper
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity Journal Of Logic And Computation	2022-02-08	Paper
Intuitionistic non-normal modal logics: a general framework Journal of Philosophical Logic	2021-05-06	Paper
Countermodel construction via optimal hypersequent calculi for non-normal modal logics	2020-05-06	Paper
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi	2019-07-24	Paper

Research outcomes over time

This page was built for person: Tiziano Dalmonte