Keyphrases
- formal language
- logic programming
- dynamic logic
- proof theory
- natural language
- operational semantics
- conditional logic
- order sorted
- programming language
- intuitionistic logic
- highly expressive
- language learning
- logic programming language
- predicate calculus
- predicate logic
- knowledge base
- linear temporal logic
- asynchronous circuits
- modal operators
- neural network
- classical logic
- multi valued
- automated reasoning
- default reasoning
- modal logic
- first order logic
- set theory
- expressive power
- high level
- agent programming
- quantifier free
- monadic second order logic