Prehistoric Phenomena and Self-referentiality

By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : ϕ(t), which have self-referential meanings. In this paper, “prehistoric phenomena” in a Gentzen-style formulation of modal logic S4 are defined. A special phenomenon, i.e., “left prehistoric loop”, is then shown to be necessary for self-referentiality in S4-LP realization.

• Type: Conference
• Year: 2010
• Where: CSR
• Authors: Junhua Yu
• Keywords: CSR 2010, Modal Logic S4, Prehistoric Phenomena, Self-referential Meanings, Theoretical Computer Science