Applied Logic Series – serie

Fallacies Arising from Ambiguity

Proof Theory of Modal Logic

Multi-Dimensional Modal Logic

Logic, Language and Computation

Advances in Intensional Logic

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Textbook of Belief Dynamics

Theory Change and Database Updating

Textbook of Belief Dynamics

Solutions to exercises

Dynamic Worlds

From the Frame Problem to Knowledge Management

What is Negation?

Foundations of Rational Agency

Fuzzy Sets, Logics and Reasoning about Knowledge

Advances in Temporal Logic

Labelled Deduction

Abduction and Induction

Essays on their Relation and Integration

Intellectics and Computational Logic

Papers in Honor of Wolfgang Bibel

Formal Aspects of Context

Goal-Directed Proof Theory

Frontiers in Belief Revision

New Essays in Free Logic

In Honour of Karel Lambert

Foundations of Bayesianism

Proof Theory and Automated Deduction

Logical and Computational Aspects of Model-Based Reasoning

Semantics and Proof Theory of the Logic of Bunched Implications

Introduction to Mathematical Logic and Type Theory

To Truth Through Proof

Logical and Computational Aspects of Model-Based Reasoning

Thirty Five Years of Automating Mathematics