Strong Completeness of Provability Logic for Ordinal Spaces.
Juan P. AguileraDavid Fernández-DuquePublished in: J. Symb. Log. (2017)
Keyphrases
- logic programming
- modal logic
- asynchronous circuits
- predicate logic
- logical framework
- social networks
- classical logic
- automated reasoning
- multi valued
- design space
- computational properties
- nonmonotonic logics
- relational databases
- real world
- linear logic
- proof theory
- delay insensitive
- sound and complete axiomatization