Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

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 …

This thesis presents an approach to phonological computation and representation which
combines the tenets of substance-free phonology, a framework which implies that …

Robust modules guarantee to do only what they are supposed to do–even in the presence
of untrusted malicious clients, and considering not just the direct behaviour of individual …

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 …

This paper makes a first step towards a logic of learning from experiments. For this, we
investigate formal frameworks for modeling the interaction of causal and (qualitative) …

This dissertation aims at the logical modelling of aspects of human reasoning, informed by
facts on the bounds of human cognition. We break down this challenge into three parts: Part …

In this paper, we introduce and study AD-logic, ie, a system of (hybrid) modal logic that can
be used to reason about Aristotelian diagrams. The language of AD-logic, L AD, is …

Hyperlogic is a hyperintensional system designed to regiment metalogical claims
(eg,“Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object …

This essay uses a puzzle about assertion and time to explore the pragmatics, semantics,
and epistemology of future discourse. The puzzle concerns cases in which a subject is in a …