Dear all,
We will have our next LIRa session on Thursday, 14 December 16:30.
This will be an online session. 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