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

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...

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

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

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...

Prolog is a programming language, but a rather unusual one. ``Prolog'' is shortfor ``Programming ...

While intuitionistic (or constructive) set theory IST has received a certain attention from mathe...