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 …

Modal Logic is traditionally concerned with the intensional operators “possibly” and
“necessary”, whose intuitive correspondence with the standard quantifiers “there exists” and …

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 …

The paper investigates a simple and natural enrichment of the usual modal language ℒ= ℒ
(□) with an auxiliary 'universal'modality u⃞ having Kripke semantics: u⃞ϕ is true at a world …

Language in Action demonstrates the viability of mathematical research into the foundations
of categorial grammar, a topic at the border between logic and linguistics. Since its initial …

We explore the usage of the modal possibility operator (and its dual necessity operator) in
qualitative data analysis, and show that it-quite literally-complements the derivation operator …

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 …

Conclusions A number of general points behind the story of this paper may be worth setting
out separately, now that we have come to the end. There is perhaps one obvious omission …

We investigate an enrichment of the propositional modal language ℒ with a “universal”
modality▪ having semantics x⊧▪ ϕ iff āy (y⊧ ϕ), and a countable set of “names”—a special …