Complexity and expressivity of propositional dynamic logics with finitely many variables

From MaRDI portal
Publication:5095651