Temporal Logic

[Revised entry by Valentin Goranko and Antony Galton on May 20, 2015. Changes to: Main text, Bibliography] The term Temporal Logic has been broadly used to cover all approaches to representation
Philosophy News image
[Revised entry by Valentin Goranko and Antony Galton on May 20, 2015. Changes to: Main text, Bibliography] The term Temporal Logic has been broadly used to cover all approaches to representation and reasoning about time and temporal information 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 of 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...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus