temporal logic
Sign in to savesystem for representing and reasoning about time
In the Vinony graph
Within Vinony's link graph, temporal logic is referenced by 151 other articles, and connects out to logic, propositional calculus and reflexive relation.
It sits within the topics Philosophy of time and Temporal logic.
Its subject is documented across 23 Wikipedia language editions.
Wikidata facts
- Subclass of
- mathematical logic
Show 3 more facts
- topic's main category
- Category:Temporal logic
- Commons category
- Temporal logic
- Stack Exchange tag
- cs.stackexchange.com/tags/temporal-logic
Sources (2)
via Wikidata · CC0
Connections
logic
Entity
propositional calculus
Entity
reflexive relation
Entity
principle of bivalence
Entity
three-state logic
Entity
Aristotle
Entity
time
Entity
computer science
Entity
Wellington
Entity
International Standard Book Number
Entity
University of Oxford
Entity
free will
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Charles Sanders Peirce
Entity
OCLC, Inc.
Entity
syllogism
Entity
binary operation
Entity
JSTOR
Organization
predestination
Entity