Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1/An Overview of Tense Logic.- 2/Linear Tense Logics.- 3/Branching Tense Logic and Temporal Modality.- 4/Quantificational Tense Logics.- 5/Soundness and Completeness Theorems for Tense Logic.- Appendix I/SC Tautologies Used in Proofs.- Appendix II/Summary of the Systems.
Product Description
Hard to Find book
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Tense Logic: 111
Foto dell'editore
Tense logic. [Synthese library. Bd. 111].
Editore:
Dordrecht [u a] Reidel, 1976
ISBN 10: 9027706972
ISBN 13: 9789027706973
Antico o usato
Rilegato
Da: Antiquariat Christoph Hannen, Düsseldorf, Germania
Valutazione del venditore 2 su 5 stelle
8°. 84 pp. Original Leinwand. Stempel verso Titel. Kleines Signaturschild auf Rücken. Sonst sehr ordentliches Exemplar. Text in engl. Sprache. [Sprachlogik - ] 500 gr. Codice articolo 6748588
Compra usato
EUR 35,00
Spedizione EUR 9,80
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Tense Logic (Synthese Library III)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Fine. First edition, first printing, 100 pp., Hardcover, fine a very good dust jacket. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB1349269
Compra usato
EUR 42,82
Spedizione EUR 3,93
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Tense Logic (Synthese Library, Volume 111)
Editore:
Dordrecht, D. Reidel Publishing, 1976
ISBN 10: 9027706972
ISBN 13: 9789027706973
Antico o usato
Rilegato
Da: Pallas Books Antiquarian Booksellers, Leiden, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
cloth, 8vo v+84 pp. overview of tense logic; linear ense logic; branching ense logic; quantificational ense logic; completeness theorem; very good condition. Codice articolo 18898
Compra usato
EUR 20,00
Spedizione EUR 27,00
Spedito da Paesi Bassi a U.S.A.
Spedito da Paesi Bassi a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Tense Logic (Synthese Library, 111)
Editore:
Springer, 1976
ISBN 10: 9027706972
ISBN 13: 9789027706973
Antico o usato
Rilegato
Prima edizione
Da: MostlyAcademic, Berrima, NSW, Australia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fine. Condizione sovraccoperta: Fine. 1st Edition. Unmarked first edition in fine condition. Codice articolo ABE-1779425874355
Compra usato
EUR 62,47
Spedizione EUR 30,56
Spedito da Australia a U.S.A.
Spedito da Australia a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Tense Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5837690-n
Compra nuovo
EUR 116,49
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Tense Logic (Synthese Library, 111)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9789027706973
Compra nuovo
EUR 118,87
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Tense Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5837690
Compra usato
EUR 123,78
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Tense Logic
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9789027706973
Compra nuovo
EUR 106,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Tense Logic (Synthese Library, 111)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9789027706973_new
Compra nuovo
EUR 116,51
Spedizione EUR 13,99
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Tense Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: 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. Codice articolo 5814263
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili