Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
From MaRDI portal
Publication:3608769
DOI10.1007/978-3-540-73595-3_9zbMath1213.03029OpenAlexW2114469058MaRDI QIDQ3608769
Brigitte Pientka, Samuli Heilala
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_9
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (5)
A dual-context sequent calculus for the constructive modal logic S4 ⋮ Intuitionistic non-normal modal logics: a general framework ⋮ On interactive proof-search for constructive modal necessity ⋮ Game semantics for constructive modal logic ⋮ Harpoon: mechanizing metatheory interactively
Uses Software
This page was built for publication: Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
