University of Connecticut

Events Calendar

Logic Colloquium: Sean Walsh (UC Irvine)

Friday, March 24, 2017
2:00pm – 3:30pm

Storrs Campus
FSB 220

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 [1], 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:

All welcome!


UConn Logic Group Colloquium (primary), Philosophy Department, UConn Master Calendar

Control Panel