Login / Signup

Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses.

Levan UridiaDirk Walther
Published in: Inteligencia Artif. (2020)
Keyphrases
  • epistemic logic
  • modal logic
  • artificial intelligence
  • multi agent
  • cooperative
  • multi agent systems
  • model checking
  • dynamic epistemic logic