Lev D. Beklemishev (beklemishev)

Beiträge zu Philosophie.ch

Bibliography

Artemov, Sergei N. and Beklemishev, Lev D. 2005. “Provability Logic.” in Handbook of Philosophical Logic, Volume XIII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 189–360. Dordrecht: Springer.
Beklemishev, Lev D. 1996. “Bimodal Logics for Extensions of Arithmetical Theories.” The Journal of Symbolic Logic 61(1): 91–124.
Beklemishev, Lev D. 2006. “Review of Corry (2004).” Studies in History and Philosophy of Science. Part B: Studies in History and Philosophy of Modern Physics 37(2): 388–390.
Beklemishev, Lev D. 2007. “Review of Franzén (2005).” The Bulletin of Symbolic Logic 13(2): 241–243.
Beklemishev, Lev D. 2012. “Calibrating Provability Logic: From Modal Logic to Reflection Calculus.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 89–94. London: King’s College Publications.
Beklemishev, Lev D., Demri, Stéphane and Maté, András, eds. 2016. Advances in Modal Logic. vol. XI. London: King’s College Publications.
Beklemishev, Lev D., Goranko, Valentin and Shehtman, Valentin, eds. 2010. Advances in Modal Logic. vol. VIII. London: King’s College Publications.

Further References

Corry, Leo. 2004. David Hilbert and the Axiomatization of Physics (1898-1918). From Grundlagen der Geometrie to Grundlagen der Physik. Archimedes: New Studies in the History and Philosophy of Science and Technology n. 10. Dordrecht: Springer.
Franzén, Torkel. 2005. Gödel’s Theorem: An Incomplete Guide to its Use and Abuse. Wellesley, Massachusetts: A.K. Peters.