Friday, March 24, 2017
2:00pm – 3:30pm
Sean Walsh (Department of Logic and Philosophy of Science, University of California, Irvine) will present in the Logic Colloquium:
"Realizability Semantics for Quantified Modal Logic”
Abstract: In 1985, Flagg produced a model of first-order Peano arithmetic and a modal principle known as Epistemic Church’s Thesis, which roughly expresses that any number-theoretic function known to be total is recursive. In some recent work , this construction was generalized to allow a construction of models of quantified modal logic on top of just about any of the traditional realizability models of various intuitionistic systems, such as fragments of second-order arithmetic and set theory. In this talk, we survey this construction and indicate what is known about the reduct of these structures to the non-modal language.
Prof. Walsh's visit is part of the Exchange Program between the UConn Logic Group and C-ALPHA:
UConn Logic Group Colloquium (primary), Philosophy Department, UConn Master Calendar
Thank you for submitting an event.
Please check your email for more information.