provability

释义

可证迷；

The Logic of Provability
The logic of provability
Provability interpretations of modal logic
Provability algebras and proof-theoretic ordinals, I
Explicit Provability and Constructive Semantics
The Undecidability of k-Provability
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes.
Reflection schemes and provability algebras in formal arithmetic.
The Computational Complexity of Provability in Systems of Modal Propositional Logic
Robust Inference in Communication Games with Partial Provability