Temporalized logics and automata for time granularity.
Massimo FranceschetAngelo MontanariPublished in: Theory Pract. Log. Program. (2004)
Keyphrases
- cellular automata
- expressive power
- modal logic
- probabilistic automata
- finite automata
- propositional calculus
- fine granularity
- nonmonotonic logics
- finite state
- lattice gas
- epistemic logic
- finite state machines
- propositional dynamic logic
- database
- default logic
- regular expressions
- databases
- classical logic
- inference rules
- tree automata
- higher order
- relational databases
- learning algorithm
- real time