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 …

We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …

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 …

This note describes possible world semantics for a constructive modal logic CK. The system
CK is weaker than other constructive modal logics K as it does not satisfy distribution of …

We present an authorization logic that permits reasoning with explicit time. Following a proof-
theoretic approach, we study the meta-theory of the logic, including cut elimination. We also …

This note discusses possible conceptions of constructive description logics. We discuss why
different communities should be interested in constructive description logics, why so little …

In this article we define a family of many-valued semantics for hybrid logic, where each
semantics is based on a finite Heyting algebra of truth-values. We provide sound and …

We study a hybrid intuitionistic modal logic suitable for reasoning about distribution of
resources. The modalities of the logic allow validation of properties in a particular place, in …

In most computer systems, users' access to resources is controlled using authorization
policies. Logic is an appropriate medium for representing, understanding, and enforcing …