Tense Logic (Synthese Library, 111) - Softcover

9789048183456: Tense Logic (Synthese Library, 111)
View all copies of this ISBN edition:
 
 
This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi­ cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import­ ant to recognize that the unadorned Prior-symbolism can be enriched in vari­ ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri­ ate literature. Specialists will notice that only the first of several quantifi­ cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi­ cation.

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

  • PublisherSpringer
  • Publication date2010
  • ISBN 10 9048183456
  • ISBN 13 9789048183456
  • BindingPaperback
  • Number of pages98

Other Popular Editions of the Same Title

9789027706973: Tense Logic (Synthese Library, 111)

Featured Edition

ISBN 10:  9027706972 ISBN 13:  9789027706973
Publisher: Springer, 1976
Hardcover

Top Search Results from the AbeBooks Marketplace

Seller Image

R. P. McArthur
Published by Springer Netherlands (2010)
ISBN 10: 9048183456 ISBN 13: 9789048183456
New Soft Cover Quantity: 1
Seller:
booksXpress
(Bayonne, NJ, U.S.A.)

Book Description Soft Cover. Condition: new. Seller Inventory # 9789048183456

More information about this seller | Contact seller

Buy New
US$ 106.20
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

R. P. McArthur
Published by Springer (2010)
ISBN 10: 9048183456 ISBN 13: 9789048183456
New Softcover Quantity: 19
Seller:
Lucky's Textbooks
(Dallas, TX, U.S.A.)

Book Description Condition: New. Seller Inventory # ABLIING23Apr0316110339384

More information about this seller | Contact seller

Buy New
US$ 115.80
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds
Stock Image

R.L. McArthur
Published by Springer (2010)
ISBN 10: 9048183456 ISBN 13: 9789048183456
New Softcover Quantity: > 20
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)

Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9789048183456_lsuk

More information about this seller | Contact seller

Buy New
US$ 121.31
Convert currency

Add to Basket

Shipping: US$ 12.43
From United Kingdom to U.S.A.
Destination, rates & speeds
Seller Image

R.L. McArthur
Published by Springer Netherlands (2010)
ISBN 10: 9048183456 ISBN 13: 9789048183456
New Softcover Quantity: > 20
Print on Demand
Seller:
moluna
(Greven, Germany)

Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative nota. Seller Inventory # 5822168

More information about this seller | Contact seller

Buy New
US$ 101.69
Convert currency

Add to Basket

Shipping: US$ 52.42
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

R. L. McArthur
Published by Springer Netherlands (2010)
ISBN 10: 9048183456 ISBN 13: 9789048183456
New Taschenbuch Quantity: 1
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)

Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import ant to recognize that the unadorned Prior-symbolism can be enriched in vari ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri ate literature. Specialists will notice that only the first of several quantifi cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi cation. Seller Inventory # 9789048183456

More information about this seller | Contact seller

Buy New
US$ 123.70
Convert currency

Add to Basket

Shipping: US$ 35.30
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

R. L. McArthur
ISBN 10: 9048183456 ISBN 13: 9789048183456
New Taschenbuch Quantity: 2
Print on Demand
Seller:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Germany)

Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import ant to recognize that the unadorned Prior-symbolism can be enriched in vari ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri ate literature. Specialists will notice that only the first of several quantifi cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi cation. 100 pp. Englisch. Seller Inventory # 9789048183456

More information about this seller | Contact seller

Buy New
US$ 176.87
Convert currency

Add to Basket

Shipping: US$ 24.61
From Germany to U.S.A.
Destination, rates & speeds