Strategic Ability Update: A Modal Logic Account.

Jan M. Broersen Rosja Mastop John-Jules Ch. Meyer Paolo Turrini

Published in: Web Intelligence/IAT Workshops (2009)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
conditional logic
classical logic
epistemic logic
default logic
case study
situation calculus
autoepistemic logic
information technology
nonmonotonic reasoning
dynamic logic
explanation based generalization