Binary modal companions for subintuitionistic logics

DOI10.1007/978-3-030-53654-1_2zbMath1498.03024OpenAlexW3126675290MaRDI QIDQ2658275

Fatemeh Shirmohammadzadeh Maleki, Dick H. J. de Jongh

Publication date: 19 March 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53654-1_2

zbMATH Keywords

modal logicintermediate logicclassical modal logicstrict implicationmodal companionsubintuitionistic logic

Mathematics Subject Classification ID

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

Related Items (1)

Monotone subintuitionistic logic: duality and transfer results

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A propositional logic with explicit fixed points
• Constructivism in mathematics. An introduction. Volume II
• Basic conditional logic
• A translation of intuitionistic predicate logic into basic predicate logic
• Subintuitionistic logics
• A closer look at some subintuitionistic logics
• Subintuitionistic logics and the implications they prove
• Duality between modal algebras and neighbourhood frames
• Subintuitionistic logics with Kripke semantics
• Neighborhood semantics for modal logic
• Alternative Semantics for Visser’s Propositional Logics
• Weak Logics with Strict Implication
• Basic Propositional Calculus I
• Weak subintuitionistic logics

This page was built for publication: Binary modal companions for subintuitionistic logics