Normal companions of intuitionistic modal logics

DOI10.1007/s10469-023-09712-3MaRDI QIDQ6148006

Sergey Drobyshevich

Publication date: 11 January 2024

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

zbMATH Keywords

intuitionistic modal logicmodal law of double negationnormal companion

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite model property for negative modalities
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• A lattice of normal modal logics
• Superintuitionistic companions of classical modal logics
• Neighborhood semantics for modal logic
• On classical behavior of intuitionistic modalities
• On the Blok-Esakia Theorem

This page was built for publication: Normal companions of intuitionistic modal logics