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 …

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 …

The status of the equality predicate as a logical constant is problematic. In the paper we look
at the problem from the proof-theoretic standpoint and survey several ways of treating …

So-called 'reified temporal logics' were introduced by researchers in Artificial Intelligence
(AI) in the early 1980s, and gave rise to a long-running series of debates concerning the …

The paper presents a sequent calculus HFM for first-order hybrid modal logic with lambda
operator, existence and definedness predicates. It is particularly useful for dealing with non …

We present a (sound and complete) tableau calculus for Quantified Hybrid Logic (QHL).
QHL is an extension of orthodox quantified modal logic: as well as the usual□ and◊ …

Hybrid logics are a principled generalization of both modal logics and description logics. It is
well known that various hybrid logics without binders are decidable, but decision procedures …

We introduce a generic framework for hybrid logics, ie modal logics additionally featuring
nominals and satisfaction operators, thus providing the necessary facilities for reasoning …

Hybrid logic is modal logic enriched with names for worlds. We formalize soundness and
completeness proofs for a Seligman-style tableau system for hybrid logic in the proof …

In this paper we give a natural deduction formulation of hybrid logic. Our natural deduction
system can be extended with additional inference rules corresponding to conditions on the …