Name Card

Full name Familienname, Vorname

Dalmonte, Tiziano

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Dalmonte, Tiziano	Terminating Calculi and Countermodels for Constructive Modal Logics	Konferenzbeitrag Inproceedings	2021
	2		Dalmonte, Tiziano ; Olivetti, Nicola	Proof Systems for the Logics of Bringing-It-About.	Konferenzbeitrag Inproceedings	2021
	3		Dalmonte, Tiziano	Proof-theory of agency logics of bringing-it-about	Präsentation Presentation	2021
	4		Dalmonte, Tiziano ; Lellmann, Björn	Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity	Preprint Preprint	2020
	5		Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine	Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics	Konferenzbeitrag Inproceedings	2016