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.