Arity and Alternation in Second-Order Logic.
Johann A. MakowskyY. B. PnueliPublished in: Ann. Pure Appl. Log. (1996)
Keyphrases
- function symbols
- higher order
- logic programming
- classical logic
- modal logic
- high order
- logical framework
- pairwise
- computational properties
- non binary
- automated reasoning
- horn clauses
- fourth order
- multi valued
- asynchronous circuits
- dynamic logic
- delay insensitive
- sound and complete axiomatization
- predicate logic
- learning algorithm
- belief revision
- np complete
- search space
- expert systems