Displaying Modal Logic
Wansing, Heinrich
ISBN 10: 079235205X ISBN 13: 9780792352051
Published by Kluwer Academic Publishers, 1998
New
Soft cover
From
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
AbeBooks Seller since February 27, 2001
This specific item is no longer available.
About this Item
Description:
Presents an introduction to Display Logic in the context of generalized Gentzen calculi. This book reviews several standard and non-standard sequent-style proof systems for modal logics. It motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N Belnap. Series: Trends in Logic. Num Pages: 252 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 553. . 1998. Hardback. . . . . Seller Inventory # V9780792352051
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.
Bibliographic Details
Title: Displaying Modal Logic
Publisher: Kluwer Academic Publishers
Publication Date: 1998
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Displaying Modal Logic (Trends in Logic, 3)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Seller Inventory # mon0003603452
Stock Image
Displaying Modal Logic (Trends in Logic)
Seller: Book Alley, Pasadena, CA, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. Very Good. Gently read with no markings. No dust jacket, as issued. Pasadena's finest new and used bookstore since 1992. Seller Inventory # mon0000462850
Stock Image
Displaying Modal Logic (Trends in Logic)
Published by
Kluwer Academic Publishers, 1998
ISBN 10: 079235205X
ISBN 13: 9780792352051
Used
Hardcover
Seller: Paisleyhaze Books, New Hartford, CT, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. 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
Seller Image
Displaying Modal Logic
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Seller Inventory # 5968564
Buy New
US$ 151.75
Shipping:
US$ 56.66
From Germany to U.S.A.
Quantity: Over 20 available
Displaying Modal Logic
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Displaying Modal Logic | Heinrich Wansing | Buch | xi | Englisch | 1998 | Springer Netherland | EAN 9780792352051 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102114395
Stock Image
Displaying Modal Logic (Trends in Logic, 3)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190182950
Stock Image
Displaying Modal Logic (Trends in Logic, 3)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792352051_new
Buy New
US$ 174.59
Shipping:
US$ 15.76
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Displaying Modal Logic
Published by
Springer Netherlands, Springer Netherlands Aug 1998, 1998
ISBN 10: 079235205X
ISBN 13: 9780792352051
New
Buch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. Seller Inventory # 9780792352051
Seller Image
Displaying Modal Logic
Published by
Springer Netherlands Aug 1998, 1998
ISBN 10: 079235205X
ISBN 13: 9780792352051
New
Buch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Englisch. Seller Inventory # 9780792352051
Seller Image
Displaying Modal Logic
Published by
Springer Netherlands, Springer Netherlands, 1998
ISBN 10: 079235205X
ISBN 13: 9780792352051
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9780792352051