BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260408T205219Z
UID:Seminar-verification-1300@lxserverA.csc.liv.ac.uk.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20251106T110000
DTEND:20251106T120000
SUMMARY:Verification Series
DESCRIPTION:Ullrich Hustadt: Modal Logic Reasoning: The Long View\n\nModal logics provide a formal framework for describing and reasoning \n\nabout relational structures. The most intensively studied modal logics\n\nare the basic modal logic K and its extensions with one or more of the\n\naxioms B, D, T, 4 and 5, originally motivated by idealised notions of\n\nbelief and knowledge. The problem of reasoning in these logics has also\n\nbeen studied for many decades. In this talk we take the long view on\n\nwhat progress, if any, has been made in providing effective reasoning\n\nmethods for these logics, in particular, via reductions and resolution\n\ncalculi.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1300
LOCATION:Ashton 208
END:VEVENT
END:VCALENDAR