An Epistemic Logic with Hypotheses.

Levan Uridia Dirk Walther

Published in: LORI (2011)

Keyphrases

epistemic logic
model checking
modal logic
dynamic epistemic logic
inference rules
logical framework
multi faceted
multi agent systems
computation tree logic
temporal logic
formal semantics
artificial intelligence
image processing
bayesian networks
software systems
model checker