Login / Signup
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic.
Linh Anh Nguyen
Published in:
CS&P (2015)
Keyphrases
</>
propositional dynamic logic
upper bound
description logics
functional dependencies
global information
dynamic logic
query processing
modal logic
website
natural language
first order logic
decision problems
decision procedures
database
query answering
prefetching