When possible worlds semantics arrived around 1960, one of its most charming features
was the discovery of simple connections between existing intensional axioms and ordinary …

We start with informally defining the subject matter of this book: multi-dimensional modal
logic (MDML). First let us briefly consider what we understand by the notion of “modal logic” …

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

Monotonic modal logics form a generalisation of normal modal logics in which the additivity
of the diamond modality has been weakened to monotonicity:<> p\/<> q--><>(p\/q). This …

When possible worlds semantics arrived around 1960, one of its most charming features
was the discovery of simple connections between existing intensional axioms and ordinary …

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 …

A boolean algebra is shown to be completely representable if and only if it is atomic,
whereas it is shown that neither the class of completely representable relation algebras nor …

Algebraic logic can be divided into two main parts. Part I studies algebras which are relevant
to logic (s), eg algebras which were obtained from logics (one way or another). Since Part I …

Modal Logic* Page 1 MAARTEN DE RIJKE A Note On Graded Modal Logic* Abstract. We
introduce a notion of bisimulation for graded modal logic. Using this notion, the model theory of …

We study algebras whose elements are relations, and the operations are natural
“manipulations” of relations. This area goes back to 140 years ago to works of De Morgan …