Login / Signup
Alternating-time dynamic logic.
Nicolas Troquard
Dirk Walther
Published in:
AAMAS (2010)
Keyphrases
</>
dynamic logic
modal logic
reasoning about actions
imperative programs
propositional dynamic logic
agent programming
first order logic
multiple input
classical first order logic
image processing
situation calculus