Abstract

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 defined naturally and some of their basic properties are proved. We also consider Basic Propositional Logic (BPL), a logic weaker than IPL introduced by Albert Visser, and introduce and study its neighborhood models in the same manner.