Filteren
Sorteren
8 resultaten
gebondenEngels9780792341208
31-10-1996
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. Meer
gebondenEngels9780792352051
31-8-1998
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. Meer
paperbackEngels9789048147205
9-12-2010
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. Meer
gebondenEngels9783319110400
8-12-2014
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 theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. Meer
paperbackEngels9783319360317
22-9-2016
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 theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. Meer
paperbackEngels9783540567349
29-7-1993
This monograph gives a logical treatment of two central
aspects of the concept of information, namely information
processing and information structure. Meer
paperbackEngels9789048150793
5-12-2010
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. Meer