A Non-hyperarithmetical Gödel Logic.
Juan P. AguileraJan BydzovskyDavid Fernández-DuquePublished in: LFCS (2022)
Keyphrases
- modal logic
- logic programming
- databases
- logical framework
- predicate logic
- real time
- automated reasoning
- logic programs
- probabilistic logic
- multi agent systems
- classical logic
- computational properties
- social bookmarking
- multiscale
- abductive reasoning
- asynchronous circuits
- proof theory
- sound and complete axiomatization