Tsinghua Logic

On Self-referentiality of the Provability Semantics of Intuitionistic Propositional Calculus and Modal Propositional Calculus S4

Speaker: Yu Junhua (Ph.d Candidate, City University of New York)

Time: 3:00-5:00 pm, August 21

Location: Xinzhai 346

Abstract: After presenting the provability semantics of Intuitionistic Propositional Calculus (IPC) via Modal Propositional Calculus S4 and the Logic of Proofs (LP), we will talk about self-referentiality in this semantics, and the proof of its necessity. Non-self-referential fragments of S4 and IPC will be introduced with properties that offer suggestions to open related problems.


Welcome to Tsinghua Logic