Trends in Logic

Displaying Modal Logic

Authors: Wansing, Heinrich

Free Preview

Buy this book

eBook 107,09 €
price for Spain (gross)
  • ISBN 978-94-017-1280-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 135,19 €
price for Spain (gross)
  • ISBN 978-0-7923-5205-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-90-481-5079-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Table of contents (13 chapters)

Table of contents (13 chapters)

Buy this book

eBook 107,09 €
price for Spain (gross)
  • ISBN 978-94-017-1280-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 135,19 €
price for Spain (gross)
  • ISBN 978-0-7923-5205-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-90-481-5079-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Displaying Modal Logic
Authors
Series Title
Trends in Logic
Series Volume
3
Copyright
1998
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-94-017-1280-4
DOI
10.1007/978-94-017-1280-4
Hardcover ISBN
978-0-7923-5205-1
Softcover ISBN
978-90-481-5079-3
Series ISSN
1572-6126
Edition Number
1
Number of Pages
XI, 252
Topics