BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260916T010118Z
UID:Seminar-dept-282@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20120417T150000
DTEND:20120417T160000
SUMMARY:School Seminar Series
DESCRIPTION:Prof. Benedikt Loewe: Modal logics of forcing classes\n\nIn 2008, Hamkins and Loewe determined the "modal logic of forcing", the set \n\nof modal statements that are valid under the interpretation of "possibly p" as \n\n"there is a forcing extension of the set-theoretic universe such that p is true". \n\nThe modal logic of forcing is S4.2. We discuss structural relations between \n\nclosure properties of classes of 'forcings' (i.e., Boolean algebras used to \n\nextend the set-theoretic universe) and the corresponding modal logics.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=282
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR