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 …

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic:
An Introduction to Modal Logic and A Companion to Modal Logic. A New Introduction to …

Publisher Summary This chapter discusses the proof theory, expressivity, and complexity of
a number of the well-known hybrid logics and provides a snapshot of the logical territory …

Description Logics (DLs) are used in knowledge-based systems to represent and reason
about terminological knowledge of the application domain in a semantically well-defined …

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 …

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

We study the complexity of the combination of the Description Logics\ensuremath {\mathcal
{A}\!\mathcal {L}\!\mathcal {C}\!\mathcal {Q}} and\ensuremath {\mathcal {A}\!\mathcal …