Matches in DBpedia 2016-04 for { ?s ?p "In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like \"I am always hungry\", \"I will eventually be hungry\", or \"I will be hungry until I eat something\"."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Temporal_logic comment "In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like \"I am always hungry\", \"I will eventually be hungry\", or \"I will be hungry until I eat something\".".