It is with great pleasure that we are presenting to the community the second edition of this
extraordinary handbook. It has been over 15 years since the publication of the first edition …

A general method for generating contraction-and cut-free sequent calculi for a large family of
normal modal logics is presented. The method covers all modal logics characterized by …

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 …

The axiomatic presentation of modal systems and the standard formulations of natural
deduction and sequent calculus for modal logic are reviewed, together with the difficulties …

Substructural logics are by now one of the most prominent branches of the research field
usually labelled as" nonclassical logics"-and perhaps of logic tout court. Over the last few …

This book continues from where the authors' previous book, Structural Proof Theory, ended.
It presents an extension of the methods of analysis of proofs in pure logic to elementary …

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 …

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 …

Quantification and modalities have always been topics of great interest for logicians. These
two themes emerged from philosophy and language in ancient times; they were studied by …

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 …