Neighborhood Semantics for Basic and Intuitionistic Logic

DOI10.12775/LLP.2015.015MaRDI QIDQ2987743zbMATH OpenOpenAlexFDO

Authors Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

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

basic logicbisimulationintuitionistic logicKripke modelsmodal logicneighborhood modelstopological semantics

Mathematics Subject Classification ID

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

Recommendations

• Neighborhood semantics for modal logic
• Relational and neighborhood semantics for intuitionistic modal logic
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
• Neighbourhood semantics for modal relevant logics
• Two neighborhood semantics for subintuitionistic logics
• scientific article; zbMATH DE number 3966027
• Neighborhood semantics for modal many-valued logics
• scientific article; zbMATH DE number 6130978
• Neighbourhood Semantics for Graded Modal Logic
• Neighborhood-sheaf semantics for first-order modal logic

Cites work

• A note on bisimulations of finite Kripke models
• A propositional logic with explicit fixed points
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 30929 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• Logic and structure
• Structures for epistemic logic
• Universal grammar

Cited in

(17)

• Monotone subintuitionistic logic: duality and transfer results
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• scientific article; zbMATH DE number 6602207 (Why is no real title available?)
• NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
• scientific article; zbMATH DE number 3928957 (Why is no real title available?)
• Completeness of neighbourhood logic
• scientific article; zbMATH DE number 6868325 (Why is no real title available?)
• scientific article; zbMATH DE number 6130978 (Why is no real title available?)
• Topological and multi-topological frames in the context of intuitionistic modal logic
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
• Neighbourhood and lattice models of second-order intuitionistic propositional logic
• Two neighborhood semantics for subintuitionistic logics
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
• Infinitary logic with infinite sequents: syntactic investigations
• Another neighbourhood semantics for intuitionistic logic
• Subintuitionistic logics and their modal companions: a nested approach
• Algebraic neighbourhood logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987743)