Pages that link to "Item:Q3608769"
From MaRDI portal
The following pages link to Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 (Q3608769):
Displaying 5 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Harpoon: mechanizing metatheory interactively (Q2055903) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Game semantics for constructive modal logic (Q2142094) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
