A note on the expressibility problem for modal logics and star-free regular expressions.
Balder ten CatePublished in: Inf. Process. Lett. (2009)
Keyphrases
- regular expressions
- modal logic
- pattern matching
- temporal logic
- decision procedures
- nonmonotonic logics
- inference rules
- query language
- finite automata
- semistructured data
- deterministic finite automata
- xml schema
- situation calculus
- tree automata
- epistemic logic
- default logic
- matching algorithm
- query evaluation
- regular path queries
- data model
- query processing
- special case
- metadata