temporal logic
Sign in to savesystem for representing and reasoning about time
Wikidata facts
Show 2 more facts
- 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