A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities)

Rasoul Ramezanian

Published in: CoRR (2013)

Keyphrases

epistemic logic
model checking
modal logic
dynamic epistemic logic
multi agent systems
multi faceted
inference rules
logical framework
formal semantics
mathematical theory
computation tree logic
temporal logic
bayesian networks
orders of magnitude