Sign in
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic.
Martin Wirsing
Alexander 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