Login / Signup
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic.
Linh Anh Nguyen
Published in:
Fundam. Informaticae (2016)
Keyphrases
</>
propositional dynamic logic
upper bound
description logics
query processing
modal logic
database
expressive power
functional dependencies
prefetching
access patterns
reasoning about actions