Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.

Philippe Balbiani Andreas Herzig Nicolas Troquard

Published in: LICS (2013)

Keyphrases

dynamic logic
classical first order logic
first order logic
propositional dynamic logic
reasoning about actions
modal logic
propositional logic
imperative programs
agent programming
knowledge representation
default logic
machine learning
game theory
multi valued
probabilistic logic
satisfiability testing