Tense Logic: 111 (Synthese Library, 111) - Tapa dura

McArthur, R.L.

 
9789027706973: Tense Logic: 111 (Synthese Library, 111)
Tapa dura
ISBN 10: 9027706972 ISBN 13: 9789027706973
Editorial: Springer, 2007

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2007
Idioma
Inglés
ISBN 10 
9027706972
ISBN 13 
9789027706973
Encuadernación
Tapa dura
Número de páginas
108
Contacto del fabricante
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Alemania

Otras ediciones populares con el mismo título

9789048183456: Tense Logic: 111 (Synthese Library)

Edición Destacada

ISBN 10:  9048183456 ISBN 13:  9789048183456
Editorial: Springer, 2010
Tapa blanda