Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic

DOI10.1007/s11225-023-10064-3arXiv2210.02216OpenAlexW4386253776MaRDI QIDQ6067750

Zhiguang Zhao

Publication date: 17 November 2023

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2210.02216

zbMATH Keywords

nucleuscorrespondence theorycomplete Heyting algebraintuitionistic modal logicpossibility semanticsFairtlough-Mendler semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithmic correspondence and canonicity for distributive modal logic
• Cut-free Gentzen calculus for multimodal CK
• Modal operators on Heyting algebras
• From worlds to possibilities
• Propositional lax logic
• A semantic hierarchy for intuitionistic logic
• Neighborhood semantics for modal logic
• Elementary canonical formulae: extending Sahlqvist's theorem
• Sahlqvist theory for impossible worlds
• A bimodal perspective on possibility semantics
• Results in modal correspondence theory for possibility semantics
• CHOICE-FREE STONE DUALITY
• FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
• Unified Correspondence
• Universal grammar
• Algorithmic correspondence and canonicity for possibility semantics
• Correspondence theory for generalized modal algebras

This page was built for publication: Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic