HomeATLAS roadmapLogicModal logicPropositional dynamic logicContentsFilter: all statusesStatementsMapContentsLoading the map…Reading Propositional dynamic logic Propositional dynamic logic (PDL) Relational interpretation of PDL programs Partial correctness and loop invariants for PDL Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.