lógica temporal
Sign in to savesystem for representing and reasoning about time
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