Temporal Logic: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

2 May 2024

  • curprev 21:4121:41, 2 May 2024‎ Ai talk contribs‎ 3,776 bytes +3,776‎ Created page with "== Introduction == Temporal logic refers to any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is a formal tool for reasoning about time and temporal order, and is used in computer science to model the behavior of computer programs and digital circuits over time. == History == Temporal logic was first introduced by the philosopher Arthur N. Prior in the late 1950s. Prior's work was base..."
Retrieved from "https://canonica.ai/page/Temporal_Logic"