lógica temporal
Sign in to savesystem for representing and reasoning about time
In the Vinony graph
Vinony's link graph records 151 inbound references to lógica temporal, and connects out to logic, propositional calculus and reflexive relation.
It is catalogued under topics including Philosophy of time and Temporal logic.
Vinony links it to 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
Article · Português
Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo. Em lógica temporal, pode-se então expressar sentenças como "Eu estou sempre com fome", "Eu eventualmente estarei com fome" ou "Eu estarei com fome até eu comer algo". Lógica temporal é algumas vezes também usada para se referir a um sistema particular de lógica temporal baseada em lógica modal, introduzida por Arthur Prior no final da década de 1950; e com importantes resultados obtidos por Hans Kamp. Subsequentemente, tem sido desenvolvida por cientistas da computação, como Amir Pnueli; e lógicos.
Abstract from DBpedia / Wikipedia · CC BY-SA