✳flâneur — a map of the web's best reading

Temporal Logic (Stanford Encyclopedia of Philosophy)

plato.stanford.edu · 27,325 words · saved by 1 readers

The term Temporal Logic has been broadly used to cover all approaches to reasoning about time and temporal information, as well as their formal representation, within a logical framework, and also more narrowly to refer specifically to the modal-logic type of approach introduced around 1960 by Arthur Prior under the name Tense Logic and subsequently developed further by many logicians and computer scientists. Applications of Temporal Logic include its use as a formalism for clarifying philosophical issues about time, as a framework within which to define the semantics of temporal expressions in natural language, as a language for encoding temporal knowledge in artificial intelligence, and as a tool for specification, formal analysis, and verification of the executions of computer programs and systems. Here we provide a broadly representative, yet concise and inevitably incomplete, overview of the rich variety of temporal models and logics introduced and studied over the past 50 years.

--> Temporal Logic (Stanford Encyclopedia of Philosophy) Stanford Encyclopedia of Philosophy Menu Browse Table of Contents What's New Random Entry Chronological Archives About Editorial Information About the SEP Editorial Board How to Cite the SEP Special Characters Advanced Tools Contact Support SEP Support the SEP PDFs for SEP Friends Make a Donation SEPIA for Libraries Entry Navigation Entry Contents Bibliography Academic Tools Friends PDF Preview Author and Citation Info Back to Top Temporal Logic First published Mon Nov 29, 1999; substantive revision Fri May 3, 2024 Broadly construed, Tem

Explore this link on the map →

related reading