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. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support.
Band 1
Fester Einband | 1997
Band 1
Kartonierter Einband (Kt) | 2010
Band 11
Fester Einband | 2001
Band 11
Kartonierter Einband (Kt) | 2010
Band 15
Fester Einband | 2002
Band 15
Kartonierter Einband (Kt) | 2002
Band 16
Kartonierter Einband (Kt) | 2012
Band 17
Fester Einband | 2003
Band 17
Kartonierter Einband (Kt) | 2010
Band 178
Fester Einband | 2025
Band 18
Kartonierter Einband (Kt) | 2013
Band 2
Kartonierter Einband (Kt) | 2012
Band 21
Kartonierter Einband (Kt) | 2010
Band 23
Fester Einband | 2005
Band 24
Fester Einband | 2005
Band 24
Kartonierter Einband (Kt) | 2010
Band 25
Kartonierter Einband (Kt) | 2010
Band 26
Fester Einband | 2008
Band 26
Kartonierter Einband (Kt) | 2010
Band 27
Kartonierter Einband (Kt) | 2010
Band 28
Kartonierter Einband (Kt) | 2010
Band 3
Fester Einband | 1998
Band 3
Kartonierter Einband (Kt) | 2010
Band 30
Kartonierter Einband (Kt) | 2012
Band 31
Kartonierter Einband (Kt) | 2013
Band 32
Kartonierter Einband (Kt) | 2013
Band 33
Kartonierter Einband (Kt) | 2013
Band 34
Kartonierter Einband (Kt) | 2013
Band 37
Fester Einband | 2013
Band 37
Kartonierter Einband (Kt) | 2016
Band 38
Kartonierter Einband (Kt) | 2016
Band 39
Kartonierter Einband (Kt) | 2016
Band 4
Fester Einband | 1998
Band 4
Kartonierter Einband (Kt) | 2001
Band 41
Fester Einband | 2014
Band 41
Kartonierter Einband (Kt) | 2016
Band 42
Kartonierter Einband (Kt) | 2016
Band 44
Fester Einband | 2015
Band 45
Kartonierter Einband (Kt) | 2018
Band 47
Fester Einband | 2018
Band 48
Fester Einband | 2018
Band 49
Fester Einband | 2018
Band 49
Kartonierter Einband (Kt) | 2019
Band 5
Kartonierter Einband (Kt) | 2012
Band 50
Fester Einband | 2019
Band 51
Fester Einband | 2019
Band 53
Kartonierter Einband (Kt) | 2021
Band 53
Fester Einband | 2020
Band 56
Fester Einband | 2020
Band 56
Kartonierter Einband (Kt) | 2021
Band 57
Kartonierter Einband (Kt) | 2022
Band 57
Fester Einband | 2021
Band 59
Fester Einband | 2022
Band 6
Fester Einband | 1999
Band 60
Kartonierter Einband (Kt) | 2023
Band 60
Fester Einband | 2023