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 …

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 …

A data word is a sequence of pairs of a letter from a finite alphabet and an element from an
infinite set, where the latter can only be compared for equality. To reason about data words …

After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

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 …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

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

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an
extension of ordinary modal logic which allows explicit reference to individual points in a …