Neighborhood Semantics for Basic and Intuitionistic Logic

DOI10.12775/LLP.2015.015zbMath1375.03014OpenAlexW2100959423MaRDI QIDQ2987743

Fatemeh Shirmohammadzadeh Maleki, Morteza Moniri

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.2015.015

zbMATH Keywords

modal logicbisimulationbasic logicKripke modelsintuitionistic logictopological semanticsneighborhood models

Mathematics Subject Classification ID

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

Related Items (4)

Monotone subintuitionistic logic: duality and transfer results ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A propositional logic with explicit fixed points
• Structures for Epistemic Logic
• Universal grammar
• Logic and structure

This page was built for publication: Neighborhood Semantics for Basic and Intuitionistic Logic