1 paper
Agathoklis Kritsimallis, Ioannis Refanidis
The system of Type PDL (τPDL) is an extension of Propositional Dynamic Logic (PDL) and its main goal is to provide a formal basis for reasoning about types of actions (modeled by…