Keyphrases
- proof search
- automated theorem proving
- theorem proving
- theorem prover
- linear logic
- proof procedure
- intuitionistic logic
- predicate calculus
- programming language
- formal language
- description logics
- dynamic logic
- highly expressive
- predicate logic
- classical logic
- operational semantics
- proof theory
- natural language
- logic programming
- inference rules
- logical framework
- agent programming
- logic programming language
- language learning
- search procedure
- order sorted
- real world
- declarative semantics
- formal theory
- specification language
- computational properties
- answer set programming
- asynchronous circuits
- natural deduction
- expressive power
- object oriented
- linear temporal logic
- rewrite systems
- lambda calculus
- model theoretic
- conditional logic