A note on extensions of infinitary logic.
Saharon ShelahJouko A. VäänänenPublished in: Arch. Math. Log. (2005)
Keyphrases
- logic programming
- set theory
- classical logic
- sound and complete axiomatization
- deductive reasoning
- truth maintenance systems
- efficient implementation
- modal logic
- probability theory
- multi valued
- logical framework
- abductive reasoning
- deontic logic
- multi agent systems
- proof theory
- knowledge representation formalisms
- artificial intelligence
- databases