BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260926T120116Z
DTSTART;TZID=Australia/Melbourne:20161104T070000
DTEND;TZID=Australia/Melbourne:20161104T090000
SUMMARY:The Many Faces of Modal Logic
UID:20260927T004851Z-iCalPlugin-Grails@fe80:0:0:0:fc13:84ff:feef:467f%3
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Dirk Pattinson (ANU) will give present "The Many Faces of Modal Logic" at 11 in G14 Old Quad.</p>\n<p>Abstract:&nbsp\;Syntactically\, all modal logics arise as extensions of propositional logics with additional operators. This view encompasses many logics that are structurally different and have been designed and studied for different purposes\, such as (extensions of) the modal logic K\, probabilistic and graded modal logics and various variants of conditional logic. The talk is centred around the question of whether (and how?) something similar also happens on the semantical level. The starting point is that the semantics of modal logics is defined in terms of possible worlds where each world comes with additional structure\, such as relational successors for the modal logic K\, or preference relations for logics of non-monotonic reasoning. We systematise this into a general notion of co-algebraic semantics and focus on the question of what properties can be investigated at this\, more encompassing\, level of generality\, and shed light on the questions of completeness\, decidability and complexity.</p>\n
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR