PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization.

Facundo Carreiro Yde Venema

Published in: Advances in Modal Logic (2014)

Keyphrases

automata theoretic
temporal logic
regular path queries
natural language
databases
regular expressions
structural features