Opening book details…
Can I read Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy, 57) on EtoBox?
Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy, 57) by Peter Øhrstrøm, F. V. Per Hasle (auth.) is a nonfiction available to read on EtoBox.
What is Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy, 57) about?
__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.
Who reads Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy, 57)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Peter Øhrstrøm, F. V. Per Hasle (auth.)
- Publisher
- Springer Netherlands
- Published
- 1995
- Language
- EN
- ISBN
- 9780585374635
- Category
- nonfiction
- Subjects
- Philosophy, Linguistics, Computer Science
Other editions & translations
More by Peter Øhrstrøm, F. V. Per Hasle (auth.)
Browse all works by Peter Øhrstrøm, F. V. Per Hasle (auth.)
Similar books
- The Cambridge Companion to Ancient Logic (Cambridge Companions to Philosophy) — Paolo Fait Luca Castagnoli (2022)
- Logic for Computer Science and Artificial Intelligence: Caferra/Logic for Computer Science and Artificial Intelligence — Ricardo Caferra(auth.) (2011)
- Mathematical Methods in Linguistics (Studies in Linguistics and Philosophy) (Studies in Linguistics and Philosophy (30)) — Barbara H. Partee, Alice Ter Meulen, Robert E. Wall (auth.) (1993)
- Situations Language and Logic Studies in Linguistics and Philosophy — Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem (auth.) (1987)
- From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy, 42) — Hans Kamp and Uwe Reyle (1993)
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming) — Gabbay D.M., Hogger C.J., Robinson J.A. (1995)
