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 …

Hybrid logics are a principled generalization of both modal logics and description logics, a
standard formalism for knowledge representation. In this paper we give the first constructive …

We study an extension ℒƬℒ K of the linear temporal logic ℒƬℒ K by implementing multi-
agent knowledge logic KD45 m (which is often referred as multi-modal logic S5 m). The …

The main aim of the present paper is to use a proof system for hybrid modal logic to
formalize what are called false-belief tasks in cognitive psychology, thereby investigating the …

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 …

In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom
systems can be extended with additional rules corresponding to conditions on the …

This paper discusses constructive hybrid logics, that is, hybrid logics as studied by
Blackburn et al.[4], but over a constructive logic basis. A first question we can ask is why …

Proof systems for hybrid logic typically use @-operators to access information hidden behind
modalities; this labelling approach lies at the heart of the best known hybrid resolution …

The starting point of this chapter is the remarkable fact that proof procedures for wide
classes of hybrid logics can be given in a uniform way, and moreover, this encompasses …