Renate A. Schmidt

A Comparison of Solvers for Propositional Dynamic Logic

2018 · EPiC series in computing

Calculi for propositional dynamic logics have been investigated since the introduction of this logic in the late seventies. Only in recent years have practical procedures been suggested and implemented. In this paper, we compare three …