Temporalized logics and automata for time granularity
Massimo FranceschetAngelo MontanariPublished in: CoRR (2003)
Keyphrases
- modal logic
- expressive power
- finite automata
- cellular automata
- probabilistic automata
- inference rules
- tree automata
- finite state
- epistemic logic
- propositional calculus
- neural network
- fine granularity
- conditional logic
- finite state machines
- lattice gas
- regular expressions
- classical logic
- proof theory
- multiple granularities
- real time
- finite state automata
- valued logic
- timed automata
- inheritance reasoning
- nonmonotonic logics
- decision procedures
- markov chain
- query language
- relational databases
- multi agent systems
- website
- information retrieval