BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260910T204112Z
UID:Seminar-dept-391@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20151001T150000
DTEND:20151001T160000
SUMMARY:School Seminar Series
DESCRIPTION:Dr Andreas Herzig: Knowledge and action: how should we combine their logics?\n\nI will present a logic combining knowledge and action that is based on a simple account of action: a dialect of Propositional Dynamic Logic PDL whose atomic programs are assignments of propositional variables to truth values. Its epistemic extension generalises the notion of visibility of a propositional variable by an agent, as proposed by van der Hoek, Wooldridge and colleagues. The model checking, satisfiability and validity problems of the resulting logic are all PSPACE complete. The logic allows to capture in a natural way several concepts that were studied in the literature, including logics of propositional control and epistemic boolean games.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=391
LOCATION:E2 Lecture Theatre, EEE
END:VEVENT
END:VCALENDAR