C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse.
Rajeev Goré
Florian Widmann
Published in:
IJCAR (2010)
Keyphrases
</>
propositional dynamic logic
modal logic
optimal solution
database
real time
np hard
dynamic programming
reasoning about actions