Please note that the time of the talk is 10:30-12:00.

Title: Propositional Dynamic Logic (re)visited

Speaker: Yde Venema (ILLC, University of Amsterdam)

Time: 2024/07/11 (Thursday) 10:30-12:00

Location: Room B112, Lee Shau Kee Humanities Buildings No.2 (李兆基人文学苑2号楼), Peking University

Abstract:

        Propositional dynamic logic (PDL) is a well-known modal logic stemming from the wave of so-called process logics that emerged in the 1970s. Characteristic to PDL is that its collection of modalities is given as the set of regular expressions over some set of atomic programs and (possibly) so-called test programs. The main results on PDL, such as a sound and complete axiomatisation and the decidability and computational complexity of its satisfiability problem, were obtained relatively soon after its introducton.

        In the talk I will review some results on PDL that have been obtained or re-evaluated in the past decade. Topics to be discussed include its relation with other fixpoint logics, expressive completeness results, cut-free proof systems, and interpolation properties.