Login / Signup
A Dynamic Logic with Traces and Coinduction.
Richard Bubel
Crystal Chang Din
Reiner Hähnle
Keiko Nakata
Published in:
TABLEAUX (2015)
Keyphrases
</>
dynamic logic
reasoning about actions
modal logic
imperative programs
propositional dynamic logic
first order logic
agent programming
state space
case based reasoning
multiple input