Nondeterministic Propositional Dynamic Logic with intersection is decidable.

Ryszard Danecki

Published in: Symposium on Computation Theory (1984)

Keyphrases

propositional dynamic logic
reasoning about actions
dynamic logic
first order logic
finite state
initial state
polynomial hierarchy
finite automata
database
data model
query language
query evaluation
transitive closure
datalog programs