Neighborhood Semantics for Basic and Intuitionistic Logic

@article{Moniri2015NeighborhoodSF,
  title={Neighborhood Semantics for Basic and Intuitionistic Logic},
  author={Morteza Moniri and Fatemeh Shirmohammadzadeh Maleki},
  journal={Logic and Logical Philosophy},
  year={2015},
  volume={24},
  pages={339-355}
}
In this paper we present a neighborhood semantics for Intuitionistic Propositional Logic (IPL). We show that for each Kripke model of the logic there is a pointwise equivalent neighborhood model and vice versa. In this way, we establish soundness and completeness of IPL with respect to the neighborhood semantics. The relation between neighborhood and topological semantics are also investigated. Moreover, the notions of bisimulation and n-bisimulation between neighborhood models of IPL are… Expand
Multi-topological semantics for intuitionistic modal logic
Simple example of weak modal logic based on intuitionistic core
Weak subintuitionistic logics

References

SHOWING 1-5 OF 5 REFERENCES
Structures for Epistemic Logic
Constructive logic and the paradoxes
Modal Logic - An Introduction
Advice on Modal Logic