Keyphrases
- revised selected papers
- computer science
- lecture notes in artificial intelligence
- lecture notes
- international workshop
- artificial intelligence
- dynamic logic
- machine learning for multimodal interaction
- intuitionistic logic
- formal language
- international conference
- operational semantics
- proof theory
- programming language
- language learning
- linear temporal logic
- selected papers
- order sorted
- agent programming
- formal theory
- predicate logic
- classical logic
- modal logic
- highly expressive
- modal operators
- predicate calculus
- natural language
- information retrieval
- databases