Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Displaying Modal Logic

Name: Displaying Modal Logic
Brand: Springer
SKU: 05322468
Price: 55706 HUF
Availability: InStock
Author: Heinrich Wansing
ISBN: 9789048150793

Heinrich Wansing

Language

English

Book Paperback

Libristo code: 05322468

Publishers Springer, December 2010

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspe... Full description

Libristo code: 05322468

379 b

55 706 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Ottocento. Lezioni di storia contemporanea Raffaele Romanelli

Paperback

11 738 Ft

Konzepte und Strategien für Omnichannel-Exzellenz, m. 1 Buch, m. 1 E-Book Ingo Böckenholt

Hardback

26 559 Ft

Wolfgang Amad. Mozart Johann Aloys Schlosser

Paperback

4 559 Ft

Cerveau - Cognition - Comportement Ridha Sahaly

Paperback

20 470 Ft

Laufbahnbewerber und Außenseiter. Michael Güntner

Paperback

22 779 Ft

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.