Epistemic Logic Founded on Nonignorance.

Seiki Akama Tetsuya Murai Yasuo Kudo

Published in: Int. J. Intell. Syst. (2013)

Keyphrases

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