Keyphrases
- dynamic logic
- formal language
- predicate calculus
- intuitionistic logic
- proof theory
- programming language
- operational semantics
- formal theory
- modal logic
- classical logic
- formal logic
- conditional logic
- natural language
- language learning
- predicate logic
- highly expressive
- automated reasoning
- database language
- data sets
- logical framework
- quantifier free
- rewrite systems
- propositional dynamic logic
- order sorted
- modal operators
- defeasible logic
- representation language
- modeling language
- inference rules
- multi agent