The Logic of Hyperlogic. Part a: Foundations.
Alexander W. KocurekPublished in: Rev. Symb. Log. (2024)
Keyphrases
- artificial intelligence
- logic programming
- classical logic
- modal logic
- automated reasoning
- predicate logic
- machine learning
- sound and complete axiomatization
- logic synthesis
- proof theory
- multi valued
- decision making
- real time
- probabilistic logic
- nonmonotonic logics
- digital circuits
- similarity measure
- linear temporal logic