Login / Signup

Dynamic Epistemic Logic Displayed.

Giuseppe GrecoAlexander KurzAlessandra Palmigiano
Published in: LORI (2013)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • model checking
  • modal logic
  • knowledge base
  • computational model
  • heuristic search