Pages that link to "Item:Q764259"
From MaRDI portal
The following pages link to Cut-free Gentzen calculus for multimodal CK (Q764259):
Displayed 6 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Game semantics for constructive modal logic (Q2142094) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)