Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book.

Mathematical logic --- Modality (Logic) --- Tense (Logic) --- Modalité (Logique) --- Temps (Logique) --- Modality (Logic). --- Tense (Logic). --- Modalité (Logique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ontology --- Grammar, Comparative and general --- Tense (Logic) --- Time --- Ontologie --- Temps (Linguistique) --- Temps (Logique) --- Temps --- Tense --- Time. --- Ontology. --- Tense (Grammar)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since the 1970s Kit Fine has been one of the leading contributors to work at the intersection of logic and metaphysics. This is his eagerly-awaited first book in the area. It draws together a series of essays, three of them previously unpublished, on possibility, necessity, and tense. These puzzling aspects of the way the world is have been the focus of considerable philosophical attention in recent decades. A helpful introduction orients the reader and offers a way into some of the most original work in contemporary philosophy.

Tense (Logic) --- Modalité (Logique) --- Temps (Logique) --- Tense and modality (Linguistics) --- Tense (Logic). --- Tense and modality (Linguistics). --- Modalité (Logique) --- Logic --- Philosophy of language --- Metaphysics --- Modality (Logic) --- Modality (Linguistics). --- Modality (Logic). --- Modality (Linguistics) --- Modalité (Linguistique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.

Logic, Symbolic and mathematical. --- Tense (Logic). --- Time. --- Tense (Logic) --- Logic [Symbolic and mathematical ] --- Logic [Tense ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Temps --- Temps (Logique) --- Tijd --- Tijd (Logica) --- Time --- Logic --- Philosophy of nature --- Logic, Symbolic and mathematical --- Hours (Time) --- Geodetic astronomy --- Nautical astronomy --- Horology --- Logic, Tense --- Grammar, Comparative and general --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Tense --- Logic, Symbolical and mathematical --- Artificial intelligence --- Logique symbolique et mathématique --- Logique --- Intelligence artificielle --- History --- Histoire --- Philosophy. --- Logic. --- Philosophy and science. --- Computer science. --- Linguistics. --- Computer Science, general. --- Theoretical Linguistics. --- Philosophy of Science. --- History. --- Science