Keyphrases
- proof theory
- programming language
- formal language
- language learning
- natural language
- modal logic
- operational semantics
- broad categories
- language constructs
- modal operators
- formal theory
- classical logic
- computational linguistics
- modeling language
- logic programming
- specification language
- predicate logic
- predicate calculus
- default reasoning
- computer science
- artificial intelligence