A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic.

Shoshin Nomura Hiroakira Ono Katsuhiko Sano

Published in: LFCS (2016)

Keyphrases

sequent calculus
dynamic epistemic logic
epistemic logic
modal logic
inference rules
cut elimination
linear logic
logical framework
natural deduction
temporal logic
linear time temporal logic
bayesian networks
labeled data
theorem prover
theorem proving