Journal
STUDIA LOGICA
Volume 106, Issue 2, Pages 219-235Publisher
SPRINGER
DOI: 10.1007/s11225-017-9735-y
Keywords
Provability logic; Arithmetical completeness theorem; Formalized arithmetic; Numerations
Categories
Funding
- JSPS KAKENHI [16K17653]
- Grants-in-Aid for Scientific Research [17H02263, 16K17653] Funding Source: KAKEN
Ask authors/readers for more resources
We prove that for any recursively axiomatized consistent extension T of Peano Arithmetic, there exists a provability predicate of T whose provability logic is precisely the modal logic . For this purpose, we introduce a new bimodal logic , and prove the Kripke completeness theorem and the uniform arithmetical completeness theorem for .
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available