Keyphrases
- programming language
- modal logic
- proof theory
- formal language
- natural language
- intuitionistic logic
- dynamic logic
- operational semantics
- formal theory
- highly expressive
- modal operators
- conditional logic
- language learning
- logic programming
- predicate calculus
- logic programming language
- database language
- classical logic
- linear temporal logic
- lambda calculus
- propositional dynamic logic
- artificial intelligence
- asynchronous circuits
- magnetic resonance images