Moorean Phenomena in Epistemic Logic.

Wesley H. Holliday Thomas F. Icard III

Published in: Advances in Modal Logic (2010)

Keyphrases

epistemic logic
modal logic
model checking
dynamic epistemic logic
logical framework
multi agent systems
inference rules
multi faceted
computation tree logic
formal semantics
mathematical theory
temporal logic
cooperative
natural language
orders of magnitude
decision problems