Login / Signup

Schematic Validity in Dynamic Epistemic Logic: Decidability.

Wesley H. HollidayTomohiro HoshiThomas F. Icard III
Published in: LORI (2011)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • description logics
  • query answering
  • probabilistic model
  • modal logic
  • machine learning
  • incomplete information