From finitary to infinitary second-order logic.
George WeaverIrena PenevPublished in: Math. Log. Q. (2005)
Keyphrases
- higher order
- finite state
- logic programming
- classical logic
- function symbols
- databases
- formal theory
- predicate logic
- database
- defeasible logic
- multi valued
- deontic logic
- digital circuits
- set theory
- computational properties
- logical framework
- modal logic
- high order
- search algorithm
- case study
- artificial intelligence
- real time