BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260604T181254Z
DTSTART;TZID=Australia/Melbourne:20161021T070000
DTEND;TZID=Australia/Melbourne:20161021T080000
SUMMARY:Expressive Incompleteness of Two-Dimensional Modal Logic
UID:20260606T160514Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Fabio Lampert (UC Davis) will present "Expressive Incompleteness of Two-Dimensional Modal Logic" at 11am in Old Quad G14.&nbsp\;</p>\n<p>Abstract: We consider a natural-language sentence which cannot be formally represented by the apparatus of a quantified two-dimensional modal logic\, or even two-dimensional semantics broadly construed. This was firstly conjectured in a previous work\, but here we present a proof. The problem is very similar to the one motivating the introduction of an actuality operator into S5 modal logic. It turns out\, however\, that the most natural ways to repair the expressive inadequacy in the two-dimensional case\, i.e. by adding a stronger actuality operator into the language\, or by appealing to plural quantification\, render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.</p>
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR