Pages that link to "Item:Q829826"
From MaRDI portal
The following pages link to Intuitionistic non-normal modal logics: a general framework (Q829826):
Displaying 5 items.
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
