Login / Signup

Intensional Protocols for Dynamic Epistemic Logic.

Hanna S. van LeeRasmus K. RendsvigSuzanne van Wijk
Published in: J. Philos. Log. (2019)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • query evaluation
  • orders of magnitude
  • artificial intelligence
  • modal logic
  • inference rules