It is not the case that The absence of strong completeness is a feature shared by virtually all normal modal logics with the Barcan formula or analogous infinitary commitments, not a deficiency unique to PDL.
?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.