The Surprise Examination in Dynamic Epistemic Logic.

Jelle Gerbrandy

Published in: Synth. (2007)

Keyphrases

dynamic epistemic logic
epistemic logic
model checking
artificial intelligence
modal logic
multi faceted
probabilistic model
probability distribution