LIRa session: Andreas Herzig

Note: for the recording of this talk, click here.


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.