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 …

A good title should be informative enough to illuminate a potential reader on the content of a
book. We hope that the present title gives at least some hints of what this book is about. The …

This paper introduces a general logical framework for reasoning about diffusion processes
within social networks. The new “Logic for Diffusion in Social Networks” is a dynamic …

In many social contexts, social influence seems to be inescapable: the behavior of others
influences us to modify ours, and vice-versa. However, social psychology is full of examples …

Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive
and transitive relations. Spartacus is the first system to use pattern-based blocking for …

This paper presents a tableau system for determining satisfiability of modal μ-calculus
formulas. The modal μ-calculus, which can be seen as an extension of modal logic with the …

This paper presents a method for synthesising sound and complete tableau calculi. Given a
specification of the formal semantics of a logic, the method generates a set of tableau …

Hybrid logic is a formalism that is closely related to both modal logic and description logic. A
variety of proof mechanisms for hybrid logic exist, but the only widely available implemented …

DatalogMTL is a powerful extension of Datalog with operators from metric temporal logic
(MTL), which has received significant attention in recent years. In this paper, we investigate …

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