This text aims to convey some of the interest and charm of modal logic, and to put a reader new t...

Justification logics are closely related to modal logics and can be viewed as a refinement of the...

Aristotle's Syllogistic Underlying Logic is a ground- breaking and thorough study of Aristotle's ...

This is a new edition of Gärdenfors' classic text, presented to the community with a Foreword by ...

The Handbook of Deontic Logic and Normative Systems presents adetailed overview of the main lines...

Mathematics originates with intuition. But intuition alone can only go so far and formalism devel...

The present book is the first monograph ever with a central focus on the proof theory of paracons...

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geome...

The present volume is dedicated to aspects of algorithmic work inbioinformatics and computational...

Causal inference is perhaps the most important form ofreasoning in the sciences. A panoply of dis...

Imagine a robot trying to size up a difficult situation, to find a way of responding. Its sensors...

The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection...