Some modal operators over intuitionistic logic

DOI10.1007/S10469-015-9312-2zbMath1347.03015OpenAlexW2113065347MaRDI QIDQ2356087

Sergey Drobyshevich

Publication date: 28 July 2015

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-015-9312-2

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Combining intuitionistic connectives and Routley negation
• Finite model property for negative modalities
• Models for normal intuitionistic modal logics
• Composition of an intuitionistic negation and negative modalities as a necessity operator
• On classical behavior of intuitionistic modalities
• Double Negation Operator in Logic N ∗

This page was built for publication: Some modal operators over intuitionistic logic