Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic

DOI10.18778/0138-0680.48.3.03zbMath1446.03044OpenAlexW3000987243MaRDI QIDQ5126193

Tomasz Witczak

Publication date: 15 October 2020

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.48.3.03

zbMATH Keywords

Kripke framessoundness and completenesstopological semanticsintuitionistic modal logicneighbourhood semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• Models for normal intuitionistic modal logics
• Generalized topology, generalized continuity
• Neighborhood semantics for modal logic
• Neighborhood Semantics for Basic and Intuitionistic Logic
• Weak subintuitionistic logics
• Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics

This page was built for publication: Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic