Login / Signup

Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1.

Dominik KleinRasmus K. Rendsvig
Published in: J. Log. Comput. (2020)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • convergence rate
  • knowledge base
  • machine intelligence
  • expert systems
  • logic programming
  • model checking
  • modal logic
  • inference rules