On classical behavior of intuitionistic modalities

DOI10.12775/LLP.2014.019zbMath1375.03022MaRDI QIDQ2987729

Sergey Drobyshevich

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

compositionspossibilityintuitionistic logicmodal logicsnecessityimpossibilityintuitionistic modalitiesun-necessity

Mathematics Subject Classification ID

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

Related Items

The Došen square under construction: a tale of four modalities ⋮ Normal companions of intuitionistic modal logics ⋮ Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I” ⋮ On Displaying Negative Modalities ⋮ Some modal operators over intuitionistic logic

Cites Work

• Finite model property for negative modalities
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Modality and possibility in some intuitionistic modal logics
• On modal logic with an intuitionistic base
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Composition of an intuitionistic negation and negative modalities as a necessity operator
• Double Negation Operator in Logic N ∗
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item