Keyphrases
- natural language
- formal language
- logic programming
- proof theory
- sound and complete with respect
- semantic interpretation
- semantic representation
- sound and complete axiomatization
- epistemic logic
- formal semantics
- nonmonotonic logics
- propositional dynamic logic
- conceptual graphs
- proof theoretic
- logical formulas
- knowledge representation
- knowledge representation language
- logical framework
- computational properties
- dynamic logic
- rewrite systems
- derivation rules
- natural language processing
- model theoretic
- semantic information
- conditional logic
- modal logic
- operational semantics
- logical rules
- natural language interface
- classical logic
- defeasible logic
- semantic analysis
- nonmonotonic reasoning
- dialogue system
- valued semantics
- higher order logic
- description logics
- algebraic structure
- belief revision