Updating Epistemic Logic Programs.

Published in: J. Log. Comput. (2009)

Keyphrases

epistemic logic
modal logic
model checking
inference rules
dynamic epistemic logic
multi agent systems
multi faceted
logical framework
formal semantics
computation tree logic
mathematical theory
temporal logic
probability distribution
software engineering
partial order