Another neighbourhood semantics for intuitionistic logic
Morteza Moniri, Fatemeh Maleki · Logic Journal of IGPL · 2022
Abstract In this paper we first introduce a new neighbourhood semantics for propositional intuitionistic logic. We then naturally extend this semantics to first-order intuitionistic logic. We also study bisimulation between neighbourhood models and prove some of their basic properties for both propositional and first-order intuitionistic logic.