Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge.
Giuseppe GrecoAlexander KurzAlessandra PalmigianoPublished in: TACL (2013)
Keyphrases
- sequent calculus
- dynamic epistemic logic
- cut elimination
- modal logic
- epistemic logic
- modal operators
- linear logic
- inference rules
- linear time temporal logic
- natural deduction
- situation calculus
- reasoning about actions
- classical logic
- machine learning
- logic programming
- proof search
- expert systems
- bayesian networks
- knowledge base