BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260912T014441Z
DTSTART;TZID=Australia/Melbourne:20171027T070000
DTEND;TZID=Australia/Melbourne:20171027T090000
SUMMARY:Extended Models: An Alternative Semantics for Action Model Logic
UID:20260912T014510Z-iCalPlugin-Grails@philevents-web-6cf9979bf7-fp9jc
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Timo Eckhardt (Melbourne) will present "Extended Models: An Alternative Semantics for Action Model Logic" at 11 in Old Quad G10.</p>\n<p>Abstract:&nbsp\;In recent years many different logics of communication have been discussed. One of the most promising approaches has been that of Action Model Logic\, where possible actions are represented in action frames and are combined with an epistemic model representing the situation before the action took place. Making an epistemic action like an announcement is then changing the model from the old to the combined model. I discuss a different aproach to its semantic\, extended model semantics\, in which instead of using model change\, we represent epistemic actions as a special type of model operation that combines the underlying model with the new model via a new type of modal arrow.</p>\n\nThe standard axiomatisation of AML is wholly reductive to the underlying Epistemic Logic. Given the new semantics it is possible to give a new set of axioms that is not fully reductive. Lastly\, I want to discuss why this is new approach is useful both looking at the axioms and extensions of AML.\n&nbsp\;\n
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR