Home › Events › Logic Seminar: Sean Walsh: Department of Logic and Philosophy of Science, University of California, Irvine Logic Seminar: Sean Walsh: Department of Logic and Philosophy of Science, University of California, Irvine Time: Tue Mar 1, 2016, 2:00 pm - 3:00 pm Location: 125 Hayes-Healy Hall Title: Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction. Abstract