Kluwer Academic hardcover, 1998, unused and carefully stored, No remainder marks or "shelf wear" (as New). We will bubble-wrap the book and ship it in a BOX with delivery confirmation/tracking.

Seller Inventory # TEC1299X

Contact seller

Report this item

Bibliographic Details

Title: Displaying Modal Logic (Trends in Logic)
Publisher: Kluwer Academic Publishers
Publication Date: 1998
Language: English
ISBN 10: 079235205X
ISBN 13: 9780792352051
Binding: Hardcover
Condition: As New

About this title

Synopsis

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.

"About this title" may belong to another edition of this title.

Store Description

We are a full time mail order company located in the NW corner of CT. We have been selling books and records worldwide since 1968. We carefully inspect and grade every item, and try to always note defects so there are no surprises.

Visit Seller's Storefront

Seller's business information

Paisleyhaze Books
CT, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Each book is carefully wrapped in bubble wrap and shipped in a box.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 6.00	US$ 12.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.