… logic K and the monotonic neighbourhood logic EM into INL. We also embed INL into the
bimodal logic K ⊕ … We note that the basic modal logic enriched with the existential modality is a …

… temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities.
NL … The two neighbourhood modalities are also adequate in the sense that they can derive …

… 4Such flexibility is already witnessed by developments of the labelled proof theory based on
neighbourhood semantics for preferential conditional logic and conditional doxastic logic in […

… modal logics of the “Kripke” variety can be seen as special cases of neighbourhood models
… This is especially salient because, as Goble notes, augmented neighbourhood models are, …

… This paper studies neighbourhood completeness and compactness for modal and intermediate
logics. We show that … Note that the earlier example of a relatively incomplete intermediate …

… We note that J^ is a frame for r if and only if FVR, FVK, F ¥ … logics and since we have shown
that the neighbourhood semantics is not, it is apparent that the boolean and neighbourhood …

… In this paper we define a neighbourhood semantics for quantified modal relevant logics.
These … We further show a model-wise equivalence between fully augmented neighbourhood …

… As a first result we note that at least one of the eight axioms postulated in [43] can … neighbours
and therefore Neighbourhood Logic to other subjects. Some interpretations of neighbours …

… 9To see why, note that neighbourhood functions are not generally assumed to be closed
under intersection: X, Y ∈ Ni(w) does not imply X ∩ Y ∈ N (w). The unrestricted version of (B1) …

… In evidence models, the belief operator is interpreted using the neighborhoods by taking …
Note that our ‘canonical’ extended evidence models are not unique as they depend on the …