Login / Signup

Indicative Conditionals and Dynamic Epistemic Logic.

Wesley H. HollidayThomas F. Icard III
Published in: TARK (2017)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • modal logic
  • conditional logic
  • belief revision
  • inference rules
  • model checking
  • multi agent systems
  • software components
  • multi faceted
  • epistemic states