It is not the case that Kozen and Parikh's 1981 completeness result for PDL is standardly cited in the literature as a genuine completeness theorem without qualification, undermining the rhetorical force of 'only'.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.