Dynamic Epistemic Logic with Communication Actions.

Mario R. F. Benevides Isaque M. S. Lima

Published in: CoRR (2019)

Keyphrases

dynamic epistemic logic
epistemic logic
object oriented
speech acts
image processing
mathematical morphology