The theory developed here, although deriving its motivation and parts of its terminology from
programming theory, can be viewed as a theory for reasoning about action in general; …

This is an advanced 2001 textbook on modal logic, a field which caught the attention of
computer scientists in the late 1970s. Researchers in areas ranging from economics to …

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 …

This book is intended as a course in modal logic for students who have had prior contact
with modal logic and wish to study it more deeply. It presupposes training in mathematics or …

This paper is about the good side of modal logic, the bad side of modal logic, and how
hybrid logic takes the good and fixes the bad. In essence, modal logic is a simple formalism …

Publisher Summary This chapter presents a theoretical analysis of modal logic that can be
applied to many application areas. It presents the central core of contemporary insight into …

Hybrid languages are expansions of propositional modal languages which can refer to (or
even quantify over) worlds. The use of strong hybrid languages dates back to at least [Pri67] …

The paper studies many-dimensional modal logics corresponding to products of Kripke
frames. It proves results on axiomatisability, the finite model property and decidability for …

Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and
explicit variable binding apparatus. This paper motivates the development of hybrid …

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” …