Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
From MaRDI portal
Publication:3608769
Recommendations
Cited in
(6)- Game semantics for constructive modal logic
- On interactive proof-search for constructive modal necessity
- Harpoon: mechanizing metatheory interactively
- A dual-context sequent calculus for the constructive modal logic S4
- Canonicity of proofs in constructive modal logic
- Intuitionistic non-normal modal logics: a general framework
This page was built for publication: Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608769)