Login / Signup

Epistemic Logic, Relevant Alternatives, and the Dynamics of Context.

Wesley H. Holliday
Published in: ESSLLI Student Sessions (2011)
Keyphrases
  • epistemic logic
  • model checking
  • decision makers
  • modal logic
  • mathematical theory
  • multi agent systems
  • software engineering
  • inference rules