Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics
Olivier Gasquet · Logic Journal of IGPL · 1996
We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization (soundness and completeness) w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature (essentially [3]).