The Axiom of Choice in Second-Order Predicate Logic.
Christine GaßnerPublished in: Math. Log. Q. (1994)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- formal logic
- semantic network
- semantic net
- computational linguistics
- higher order
- temporal logic
- fluent calculus
- logical formulas
- highly expressive
- modal logic
- inference rules
- lower level
- order sorted
- knowledge base
- dynamic environments
- natural language processing
- object oriented
- multi agent