An Epistemic Logic for Arbitration (Extended Abstract).

Churn-Jung Liau

Published in: IJCAI (2003)

Keyphrases

extended abstract
epistemic logic
model checking
modal logic
dynamic epistemic logic
multi agent systems
logical framework
inference rules
multi faceted
formal semantics
temporal logic
mathematical theory
computation tree logic
mathematical models
artificial intelligence
belief revision
knowledge base