scientific article; zbMATH DE number 1303434
From MaRDI portal
Publication:4250043
zbMath0922.03023MaRDI QIDQ4250043
Frank Wolter, Michael Zakharyashchev
Publication date: 18 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilityfinite model propertytabularityKripke completenessGödel-Tarski translationpropositional intuitionistic modal logics
Related Items (20)
The Došen square under construction: a tale of four modalities ⋮ Intuitionistic Epistemology and Modal Logics of Verification ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ Constructive and mechanised meta-theory of intuitionistic epistemic logic ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Lewis meets Brouwer: constructive strict implication ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Discovering knowability: a semantic analysis ⋮ Intuitionistic epistemic logic, Kripke models and Fitch's paradox ⋮ A Sahlqvist theorem for distributive modal logic ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ Unnamed Item ⋮ On the Finite Model Property of Intuitionistic Modal Logics over MIPC ⋮ On logics with coimplication ⋮ Constructive linear-time temporal logic: proof systems and Kripke semantics ⋮ Unnamed Item ⋮ On the Blok-Esakia Theorem
This page was built for publication:
