Login / Signup

A Four-Valued Dynamic Epistemic Logic.

Yuri David Santos
Published in: J. Log. Lang. Inf. (2020)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • model checking
  • modal logic
  • reinforcement learning