Login / Signup

Topo-Logic as a Dynamic-Epistemic Logic.

Alexandru BaltagAybüke ÖzgünAna Lucia Vargas Sandoval
Published in: LORI (2017)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • modal logic
  • multi agent systems
  • model checking
  • logical framework
  • temporal logic
  • formal semantics