1 problem

Let $NDL$ be the generalized dynamic logic discussed in the paper, and let Henkin-style second-order logic (HSOL) be the corresponding Henkin semantics for second-order logic. A pr…