Neighborhood models generalize the well-known relational models, or Kripke models, for
modal logic. Although the idea underlying neighborhood models is implicit in the seminal …

Despite historical links between the foundations of mathematics and development of
axiomatic geometry, substantial logics for significant spatial structures have been scarce …

Neighbourhood structures are the standard semantic tool used to reason about non-normal
modal logics. The logic of all neighbourhood models is called classical modal logic. In …

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke
semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from …

We survey different notions of bisimulation equivalence that provide flexible and powerful
concepts for understanding the expressive power as well as the model-theoretic and …

Coalgebraic modal logic serves as a unifying framework to study a wide range of modal
logics beyond the relational realm, including probabilistic and graded logics as well as …

In this chapter we overview the main structures of epistemic and doxastic logic. We start by
discussing the most celebrated models for epistemic logic, ie, epistemic Kripke structures …

Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic Page 1 Jim de Groot
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic Abstract. We investigate …

We propose a generalization of first-order logic originating in a neglected work by CC
Chang: a natural and generic correspondence language for any types of structures which …

Neighbourhood structures are the standard semantic tool used to reason about non-normal
modal logics. In coalgebraic terms, a neighbourhood frame is a coalgebra for the …