Non-Well-Founded Derivations in the Gödel-löB Provability Logic.
Daniyar S. ShamkanovPublished in: Rev. Symb. Log. (2020)
Keyphrases
- modal logic
- classical logic
- inference rules
- valued logic
- deontic logic
- multi valued
- automated reasoning
- logical framework
- digital circuits
- predicate logic
- epistemic logic
- asynchronous circuits
- social bookmarking
- sound and complete axiomatization
- proof theory
- dynamic logic
- databases
- nonmonotonic logics
- set theory
- multiscale