Login / Signup
On the Completeness of Dynamic Logic.
Daniel Leivant
Published in:
FoSSaCS (2009)
Keyphrases
</>
dynamic logic
reasoning about actions
imperative programs
modal logic
agent programming
data quality
artificial intelligence
data sets
object oriented
software engineering