scientific article; zbMATH DE number 1431908

MaRDI QIDQ4948690zbMATH OpenFDO

Authors F. Wolter, Michael Zakharyaschev

Publication date 13 April 2000

zbMATH Keywords

classical modal logicclassical polymodal logicdecidabilityembeddingfinite model propertyintermediate logicintuitionistic modal logicintuitionistic propositional logicsuperintuitionistic logictabularity

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 1303434
• The embedding theorem: its further developments and consequences. I
• A modal logic amalgam of classical and intuitionistic propositional logic
• Publication:3472079
• scientific article; zbMATH DE number 1418447

Cited in

(38)

• The greatest extension of S4 into which intuitionistic logic is embeddable
• Lewis meets Brouwer: constructive strict implication
• The Došen square under construction: a tale of four modalities
• Complexity of finite-variable fragments of propositional temporal and modal logics of computation
• One-step modal logics, intuitionistic and classical. I
• The embedding theorem: its further developments and consequences. I
• Algebraic modal correspondence: Sahlqvist and beyond
• Discovering knowability: a semantic analysis
• A general method for proving decidability of intuitionistic modal logics
• Deciding regular grammar logics with converse through first-order logic
• The Gödel-Tarski translations of intuitionistic propositional formulas
• Which classical correspondence is valid in intuitionistic modal logic?
• A modal logic amalgam of classical and intuitionistic propositional logic
• On classical behavior of intuitionistic modalities
• scientific article; zbMATH DE number 3880661 (Why is no real title available?)
• Applicability of Motohashi's method to modal logics
• scientific article; zbMATH DE number 4139714 (Why is no real title available?)
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
• scientific article; zbMATH DE number 1303434 (Why is no real title available?)
• scientific article; zbMATH DE number 221550 (Why is no real title available?)
• On the Finite Model Property of Intuitionistic Modal Logics over MIPC
• Intuitionistic modal logic with a Galois connection has the finite model property
• From intuitionism to Brouwer's modal logic
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• On the Blok-Esakia theorem
• Constructive modalities with provability smack
• On Gödel's modal interpretation of the intuitionistic logic
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• Normal companions of intuitionistic modal logics
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• On intuitionistic diamonds (and lack thereof)
• CoNP complexity for combinations of non-normal modal logics
• Algebras and relational frames for Gödel modal logic and some of its extensions
• Blok-Esakia theorems via stable canonical rules
• Two-dimensional Kripke semantics i: presheaves
• Stable canonical rules for intuitionistic modal logics
• Intuitionistic monotone modal logic via translation
• An intuitionistic characterization of classical logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948690)