Logics of temporal-epistemic actions.

Bryan Renne Joshua Sack Audrey Yap

Published in: Synth. (2016)

Keyphrases

epistemic logic
temporal epistemic
modal logic
model checking
expressive power
multi agent systems
situation calculus
inference rules
computation tree logic
logical framework
reasoning about actions
decision theoretic
action theories
formal semantics
multi faceted