| ENCYCLOPEDIA 4U .com |
Encyclopedia Home Page |
|
|
Temporal logicTemporal logic is any approach to the representation of temporal information within a logical framework. The term is also used more narrowly to refer to the modal logic approach introduced by Arthur Prior in the 1960s under the name "tense logic".
|
Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Temporal logic".