Learn More
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 for working with relational structures (or multi-graphs). But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this(More)
In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal(More)
In one sense, Lambalgen and Hamm's book is easy to summarize. It examines a variety of temporal phenomena in natural language from an event-based perspective. It provides a formalization of the notion of event (using a modification of Shanahan's [1997] version of the Event Calculus, a many-sorted first-order theory), defines a dynamic-style semantics for(More)
In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order(More)