Logics for Action.

Michael P. Fourman

Published in: IICAI (2007)

Keyphrases

expressive power
modal logic
classical logic
propositional dynamic logic
inference rules
reasoning about actions
action selection
action descriptions
propositional calculus