Tiziano Dalmonte

Available identifiers

zbMath Open dalmonte.tizianoMaRDI QIDQ829824

List of research outcomes

Publication	Date of Publication	Type
Proof theory for the logics of bringing-it-about: ability, coalitions and means-end relationship	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	2023-06-02	Paper
Wijesekera-style constructive modal logics	2023-03-24	Paper
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi	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)	2022-11-09	Paper
Wijesekera-style constructive modal logics	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	2022-02-08	Paper
Intuitionistic non-normal modal logics: a general framework	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