Nonclassical Logics and Information Processing

By H. Wansing, D. Pearce

The Logic of Information Structures

By Heinrich Wansing, H. Wansing, Heinrich T. Wansing

Proof Theory of Modal Logic Applied Logic Series

By H. Wansing

This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc. It is therefore of immense interest for various inte...

Displaying modal logic

By H. Wansing

Negation

By

Dag Prawitz on Proofs and Meaning

By Heinrich Wansing

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof...

Proof theory of modal logic

By H. Wansing

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many...

Proof theory of modal logic

By H. Wansing

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many...

Essays on Non Classical Logic

By Heinrich Wansing

Negation

By Heinrich Wansing