LIRa session: Jan van Eijck

On Friday March 11th, we will have a LIRa session with Jan van Eijck.
Everyone is cordially invited!

Speaker: Jan van Eijck (ILLC & CWI)

Date and Time: Friday, March 11th 2016, 13:00-14:30

Venue: ILLC Seminar Room F1.15, Science Park 107

Title: Modelling Legal Relations

Abstract. We use propositional dynamic logic and ideas about propositional control from the agency literature to construct a formal model of how legal relations interact with actions that change the world and the utilities of  the interacting agents, and with actions that change the legal relations. Our conceptual model also allows us to study the interplay of obligation, knowledge, and ignorance, and to model knowledge based obligation.
(Based on joint work with Fengkui Ju.)