scientific article; zbMATH DE number 1431908
From MaRDI portal
zbMath0937.03033MaRDI QIDQ4948690
Frank Wolter, Michael Zakharyashchev
Publication date: 13 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
embeddingdecidabilityfinite model propertyintuitionistic propositional logicsuperintuitionistic logicintermediate logicintuitionistic modal logicclassical modal logictabularityclassical polymodal logic
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items
The Došen square under construction: a tale of four modalities, Undecidability of QLTL and QCTL with two variables and one monadic predicate letter, Complexity of finite-variable fragments of propositional temporal and modal logics of computation, Algebraic modal correspondence: Sahlqvist and beyond, Lewis meets Brouwer: constructive strict implication, Normal companions of intuitionistic modal logics, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, Discovering knowability: a semantic analysis, On classical behavior of intuitionistic modalities, A general method for proving decidability of intuitionistic modal logics, On the Finite Model Property of Intuitionistic Modal Logics over MIPC, Deciding regular grammar logics with converse through first-order logic, On the Blok-Esakia Theorem, Constructive Modalities with Provability Smack