A proof-theoretic semantic analysis of dynamic epistemic logic.
Sabine FrittellaGiuseppe GrecoAlexander KurzAlessandra PalmigianoVlasta SikimicPublished in: J. Log. Comput. (2016)
Keyphrases
- semantic analysis
- proof theoretic
- dynamic epistemic logic
- epistemic logic
- linear logic
- default reasoning
- nonmonotonic reasoning
- proof theory
- natural language processing
- fixpoint
- model theoretic
- constraint logic programming
- natural language
- semantic information
- modal logic
- model checking
- inference rules
- description logics
- machine learning
- knowledge base
- cut elimination
- decision procedures
- operational semantics
- databases