Keyphrases
- natural language
- formal language
- programming language
- formal theory
- language learning
- international conference
- highly expressive
- proof theory
- dynamic logic
- conditional logic
- predicate calculus
- operational semantics
- computational linguistics
- mathematical theory
- multi valued
- international symposium
- modal logic
- logic programming
- linear temporal logic
- intended meaning
- classical logic
- machine learning
- logic programs
- management system
- knowledge representation