Intra-Agent Modality and Nonmonotonic Epistemic Logic.

Richmond H. Thomason

Published in: TARK (1998)

Keyphrases

epistemic logic
multi agent systems
modal logic
model checking
multi agent
inference rules
autonomous agents
dynamic epistemic logic
computation tree logic
logical framework
formal semantics
cooperative
multi faceted
temporal logic
complex systems
decision theoretic
nonmonotonic reasoning
multiple agents