Deterministic propositional dynamic logic: finite models, complexity, and completeness
deterministic propositional dynamic logic
scientific article; zbMATH DE number 3807590