The following pages link to (Q5791647):
Displayed 8 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- A strong completeness theorem in intuitionistic quantified modal logic (Q1841473) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- Game semantics for constructive modal logic (Q2142094) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- A framework for intuitionistic grammar logics (Q2695538) (← links)