Temporal Logic

From AGIRI.org

Jump to: navigation, search

Temporal logic refers to any variant of logic that contains specific primitives for representing time, and specific rules for reasoning about time.

One approach to temporal logic is to augment predicate logic with Event Calculus.

[edit]

Mind Ontology Links

Mind Ontology
Supercategory: Logic
Subcategory: Event Calculus

Retrieved from "http://www.agiri.org/wiki/Temporal_Logic"
Personal tools