[T] he framework of ordinary sequents is not capable of handling all interesting logics. There
are logics with nice, simple semantics and obvious interest for which no decent, cut-free …

Possible world semantics underlies many of the applications of modal logic in computer
science and philosophy. The standard theory arises from interpreting the semantic …

Modal and temporal logics are finding new and varied applications in Computer Science in
fields as diverse as Artificial Intelligence [Marek et al., 1991], Models for Concurrency …

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-
Classical Logics. I put forward the methodology of labelled deductive systems to the …

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4).
The novelty of this paper is that we place particular importance on the natural deduction …

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into
three parts. In the first part we introduce and discuss the main philosophical ideas related to …

The present monograph is a slightly revised version of my Habilitations schrift Proof-
theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig …

The paper presents a one-pass tableau calculus PLTL T for the propositional linear time
logic PLTL. The calculus is correct and complete and unlike in previous decision methods …

Moggi's computational lambda calculus is a metalanguage for denotational semantics which
arose from the observation that many different notions of computation have the categorical …

There are a lot of excellent works in proof theory using various forms of Sequent Calculi (SC)
as the basic formal systems. 1 This book is of a different character. It is not a systematic …