Dynamic epistemic logic with branching temporal structures.

Tomohiro Hoshi Audrey Yap

Published in: Synth. (2009)

Keyphrases

dynamic epistemic logic
epistemic logic
branch and bound
search tree
model checking
search algorithm
modal logic
logical framework
artificial intelligence
knowledge representation
mathematical model
qualitative and quantitative