scientific article; zbMATH DE number 1303434

zbMath0922.03023MaRDI QIDQ4250043

Frank Wolter, Michael Zakharyashchev

Publication date: 18 October 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilityfinite model propertytabularityKripke completenessGödel-Tarski translationpropositional intuitionistic modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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: