A Dynamic Logic of Institutional Actions.

Andreas Herzig Emiliano Lorini Nicolas Troquard

Published in: CLIMA (2011)

Keyphrases

dynamic logic
reasoning about actions
situation calculus
propositional dynamic logic
logic programming
imperative programs
modal logic
high level
decision theoretic
classical first order logic
higher education
plan recognition
multiple agents