Login / Signup

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic.

Martin WirsingAlexander Knapp
Published in: Log. J. IGPL (2023)
Keyphrases
  • dynamic epistemic logic
  • sequent calculus
  • epistemic logic
  • inference rules
  • linear time temporal logic
  • cut elimination
  • knowledge base
  • reinforcement learning
  • expert systems