[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 …

This is an advanced 2001 textbook on modal logic, a field which caught the attention of
computer scientists in the late 1970s. Researchers in areas ranging from economics to …

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 …

After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Description Logics (DLs) are used in knowledge-based systems to represent and reason
about terminological knowledge of the application domain in a semantically well-defined …

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 …

Modern applications of logic, in mathematics, theoretical computer science, and linguistics,
require combined systems involving many different logics working together. In this book the …

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 …

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 …

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 …