The following pages link to Tiziano Dalmonte (Q829824):
Displaying 12 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Countermodel construction via optimal hypersequent calculi for non-normal modal logics (Q2177577) (← links)
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)
- HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) (Q5049016) (← links)
- (Q5224565) (← links)
- (Q5878367) (← links)
- (Q5884951) (← links)
- (Q5884952) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
- Non-normal Modal description logics (Q6545543) (← links)
- Proof theory for the logics of bringing-it-about: ability, coalitions and means-end relationship (Q6636661) (← links)
