Abstract
By terms-allowed-in-types capacity, the Logic of Proofs \(\textbf{LP}\) enjoys a system of advanced combinatory terms, while including types of the form t:φ(t), which have self-referential meanings. This paper suggests a research on possible \(\textbf{S4}\) measures of self-referentiality introduced by this capacity. Specifically, we define “prehistoric phenomena” in \(\textbf{G3s}\), a Gentzen-style formulation of modal logic \(\textbf{S4}\). A special phenomenon, namely, “left prehistoric loop”, is then shown to be necessary for self-referentiality in realizations of \(\textbf{S4}\) theorems in \(\textbf{LP}\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artemov, S.N.: Explicit Provability and Constructive Semantics. The Bulletin of Symbolic Logic 7(1), 1–36 (2001)
Brezhnev, V.N., Kuznets, R.: Making Knowledge Explicit: How Hard It Is. Theoretical Computer Science 357(1-3), 23–34 (2006)
Fitting, M.: The Logic of Proofs, Semantically. Annals of Pure and Applied Logic 132(1), 1–25 (2005)
Fitting, M.: Realizations and LP. In: Artemov, S., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 212–223. Springer, Heidelberg (2007)
Kuznets, R.: Self-referentiality of justified knowledge. In: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (eds.) CSR 2008. LNCS, vol. 5010, pp. 228–239. Springer, Heidelberg (2008)
Kuznets, R.: Self-referential Justifications in Epistemic Logic. Theory of Computing Systems (online) 1 (2009)
Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge University Press, Cambridge (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yu, J. (2010). Prehistoric Phenomena and Self-referentiality. In: Ablayev, F., Mayr, E.W. (eds) Computer Science – Theory and Applications. CSR 2010. Lecture Notes in Computer Science, vol 6072. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13182-0_38
Download citation
DOI: https://doi.org/10.1007/978-3-642-13182-0_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13181-3
Online ISBN: 978-3-642-13182-0
eBook Packages: Computer ScienceComputer Science (R0)