50 citations · 50 across the 1 of their papers we have counts for
1 paper · 1 filter
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…