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 …

Unique in providing a philosophically and historically based introduction to modal logic
accessible to every reader, emphasizing the notion of multimodality as a background while …

In this paper we will consider the existing notions of bilateralism in the context of proof-
theoretic semantics and propose, based on our understanding of bilateralism, an extension …

Non-classical logics are used in a wide spectrum of disciplines, including artificial
intelligence, computer science, mathematics, and philosophy. The de-facto standard …

The aim of this paper is to give the first steps towards the formal study of swap structures,
which are non-deterministic matrices (Nmatrices) defined over tuples of 0–1 truth values …

Is logic normative for belief? A standard approach to answering this question has been to
investigate bridge principles relating claims of logical consequence to norms for belief …

The goal of this article is to design a uniform proof-theoretical framework encompassing
classical, non-monotonic and paraconsistent logic. This framework is obtained by the control …

Numerous classical and non-classical logics can be elegantly embedded in Church's simple
type theory, also known as classical higher-order logic. Examples include propositional and …

Hybridisation is a systematic process along which the characteristic features of hybrid logic,
both at the syntactic and the semantic levels, are developed on top of an arbitrary logic …

It is customary to expect from a logical system that it can be algebraizable, in the sense that
an algebraic companion of the deductive machinery can always be found. Since the …