Login / Signup

A General Framework for Modal Correspondence in Dynamic Epistemic Logic.

Shota Motoura
Published in: LORI (2015)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • modal logic
  • inference rules
  • machine learning
  • point correspondences
  • multi agent systems
  • software engineering
  • model checking
  • formal semantics