Login / Signup

Alternating-time temporal dynamic epistemic logic.

Tiago de Lima
Published in: J. Log. Comput. (2014)
Keyphrases
  • dynamic epistemic logic
  • spatio temporal
  • temporal information
  • temporal reasoning
  • epistemic logic
  • computational model