On the Emptiness Problem of Tree Automata and Completeness of Modal Logics of Programs.
Hubert WagenerPublished in: CSL (1988)
Keyphrases
- tree automata
- modal logic
- regular expressions
- temporal logic
- finite automata
- decision procedures
- finite state
- inference rules
- nonmonotonic logics
- epistemic logic
- context free grammars
- syntactic pattern recognition
- tree languages
- pattern matching
- situation calculus
- model checking
- default logic
- finite automaton
- modal operators
- building blocks
- kripke models