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.
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
durational logic, indeterministic tense logic, metric tense logic, unbroken cuts, tense logical involvement, instant propositions, valid thesis, temporal proposition, trivalent logic, molecular propositions, antecedent necessity, branching time model, duplication rule, tensed statements, tensed propositions, subsequent necessity, existential graphs, medieval logicians, revolution tomorrow, time and modality, possible tenses, counterfactual implication, temporal logic, contingent future, modern symbolic logic Key Phrases - Capitalized Phrases (CAPs): (learn more)
Middle Ages, Ts'ui Pên, Stephen Albert, William of Ockham, Paul of Venice, Prior's Ockhamistic, Peter Geach, Saul Kripke, John Buridan, George Boole, Logica Magna, Jan Lukasiewicz, John Sowa, Walter Burleigh, Henri Bergson, Summa Logicae, Day of Judgement, The Garden of Forking Paths, Richard of Lavenham, William James, Hans Reichenbach, Sextus Empiricus, New York, Nicholas Rescher, David Lewis Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
durational logic, indeterministic tense logic, metric tense logic, unbroken cuts, tense logical involvement, instant propositions, valid thesis, temporal proposition, trivalent logic, molecular propositions, antecedent necessity, branching time model, duplication rule, tensed statements, tensed propositions, subsequent necessity, existential graphs, medieval logicians, revolution tomorrow, time and modality, possible tenses, counterfactual implication, temporal logic, contingent future, modern symbolic logic Key Phrases - Capitalized Phrases (CAPs): (learn more)
Middle Ages, Ts'ui Pên, Stephen Albert, William of Ockham, Paul of Venice, Prior's Ockhamistic, Peter Geach, Saul Kripke, John Buridan, George Boole, Logica Magna, Jan Lukasiewicz, John Sowa, Walter Burleigh, Henri Bergson, Summa Logicae, Day of Judgement, The Garden of Forking Paths, Richard of Lavenham, William James, Hans Reichenbach, Sextus Empiricus, New York, Nicholas Rescher, David Lewis Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence
- Books > Education & Reference > Words & Language
- Books > New & Used Textbooks > Computer Science
- Books > New & Used Textbooks > Humanities > Linguistics
- Books > New & Used Textbooks > Humanities > Philosophy > Logic
- Books > New & Used Textbooks > Science & Mathematics
- Books > Politics & Social Sciences > Philosophy
- Books > Science & Math > History & Philosophy
