Publisher Summary First-order modal logics are modal logics in which the underlying
propositional logic is replaced by a first-order predicate logic. They pose some of the most …

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 …

In this paper, I motivate the addition of an actuality operator to relevant logics.
Straightforward ways of doing this are in tension with standard motivations for relevant …

As in standard knowledge bases, hybrid knowledge bases (ie sets of information specified
by hybrid formulas) may contain inconsistencies arising from different sources, namely from …

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

Sentences about logic are often used to show that certain embedding expressions (attitude
verbs, conditionals, etc.) are hyperintensional. Yet it is not clear how to regiment “logic talk” …

Abstract In “Empirical Negation”, Michael De takes up the challenge of extending
intuitionism from mathematical discourse to empirical discourse, and to this end, he …

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 …

The modal operators usually associated with the notions of possibility and necessity are
classically duals. This paper aims to defy that duality in a paraconsistent environment …

This is primarily a conceptual paper. The goal of the paper is to put into perspective the proof-
theory of hybrid logic and in particular, try to give an answer to the following question: Why …