Arithmetical Completeness Theorem for Modal Logic $$mathsf{}$$

Studia Logica 106 (2):219-235 (2018)

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 \.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-017-9735-y
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,993
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logic of Provability.Philip Scowcroft & George Boolos - 1995 - Philosophical Review 104 (4):627.
The Logic of Provability.George Boolos - 1993 - Philosophical Quarterly 46 (182):110-116.
Four Valued Semantics and the Liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
A Smart Child of Peano's.V. Yu Shavrukov - 1994 - Notre Dame Journal of Formal Logic 35 (2):161-185.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Interpretability Over Peano Arithmetic.Claes Strannegard - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Hammond.Claes Strannegard - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability Over Peano Arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.


Added to PP index

Total views
5 ( #1,007,897 of 2,259,693 )

Recent downloads (6 months)
1 ( #911,962 of 2,259,693 )

How can I increase my downloads?


My notes

Sign in to use this feature