A cut-free labelled sequent calculus for dynamic epistemic logic.

Shoshin Nomura Hiroakira Ono Katsuhiko Sano

Published in: J. Log. Comput. (2020)

Keyphrases

sequent calculus
dynamic epistemic logic
epistemic logic
modal logic
inference rules
cut elimination
linear logic
natural deduction
temporal logic
logical framework
classical logic
linear time temporal logic
wide class
fixed point
state space
theorem prover
general purpose