Keyphrases
- proof theory
- programming language
- logic programming
- dynamic logic
- modal logic
- formal language
- operational semantics
- intuitionistic logic
- lambda calculus
- agent programming
- artificial intelligence
- logic programming language
- computational linguistics
- machine intelligence
- formal theory
- language learning
- linear temporal logic
- language processing
- conditional logic
- propositional dynamic logic
- multi valued
- concurrent programming
- neural network
- knowledge base
- highly expressive
- natural language
- intelligent systems
- declarative semantics
- modal operators
- collective intelligence
- classical logic
- object oriented programming