Dear all,

We will have our next LIRa session tomorrow, on Thursday, 14 December 16:30.

This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)

You can find the details of the talk below.

Speaker: Andreas Herzig (LILaC, IRIT, Université Paul Sabatier, Toulouse)

Date and Time: Thursday, December 14th 2023, 16:30-18:00

Venue: Online only (not hybrid)

Title: Dynamic Logic of Propositional Assignments and its Properties

Abstract. Dynamic Logic of Propositional Assignments (DL-PA) is a variant of PDL whose atomic programs are assignments of propositional variables. It provides an interesting framework for knowledge representation. Its mathematical properties differ from PDL: satisfiability and model checking are both PSPACE-complete. These results follow from the close relation of DL-PA with quantified boolean formulas, coming with expressivity and succinctness results.

Hope to see you there!

The LIRa team