Upcoming Events

The next event is on Thursday, December 14th:

LIRa session: Andreas Herzig

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

Date and Time: Thursday, December 14th 2023, 16:30-18:00 (Note: this is the new date of this talk.)

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.