Tiziano Dalmonte

Available identifiers

zbMath Open dalmonte.tizianoMaRDI QIDQ829824

List of research outcomes

Publication	Date of Publication	Type
Towards an intuitionistic deontic logic tolerating conflicting obligations	2023-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q5884951	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5884952	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5878367	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
https://portal.mardi4nfdi.de/entity/Q5224565	2019-07-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tiziano Dalmonte