Predicate logics of constructive arithmetical theories.
Albert VisserPublished in: J. Symb. Log. (2006)
Keyphrases
- expressive power
- first order logic
- classical first order logic
- theoretical framework
- inference rules
- classical logic
- modal logic
- logical formulas
- artificial intelligence
- decision making
- multi agent
- logic programming
- computational model
- genetic algorithm
- machine learning
- default logic
- epistemic logic
- legal knowledge
- databases