On classical behavior of intuitionistic modalities

DOI10.12775/LLP.2014.019MaRDI QIDQ2987729zbMATH OpenFDO

Authors Sergey Drobyshevich

Publication date 18 May 2017

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

Full work available at URL https://doi.org/10.12775/LLP.2014.019

zbMATH Keywords

compositionsimpossibilityintuitionistic logicintuitionistic modalitiesmodal logicsnecessitypossibilityun-necessity

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3884136
• Modality and possibility in some intuitionistic modal logics
• scientific article; zbMATH DE number 3865242
• scientific article; zbMATH DE number 1303434
• Models for normal intuitionistic modal logics

Cites work

• Composition of an intuitionistic negation and negative modalities as a necessity operator
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Double negation operator in logic N^*
• Finite model property for negative modalities
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3708352 (Why is no real title available?)
• scientific article; zbMATH DE number 1431908 (Why is no real title available?)
• Modality and possibility in some intuitionistic modal logics
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• On modal logic with an intuitionistic base

Cited in

(10)

• The Došen square under construction: a tale of four modalities
• Some modal operators over intuitionistic logic
• Composition of an intuitionistic negation and negative modalities as a necessity operator
• Which classical correspondence is valid in intuitionistic modal logic?
• Errata corrige to ``Pragmatic and dialogic interpretation of bi-intuitionism. I
• Combining Classical and Intuitionistic Implications
• scientific article; zbMATH DE number 1252394 (Why is no real title available?)
• On displaying negative modalities
• scientific article; zbMATH DE number 7599983 (Why is no real title available?)
• Normal companions of intuitionistic modal logics

This page was built for publication: On classical behavior of intuitionistic modalities

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