2 problems

0 votes0 replies1 view
Conjecture on the preservation of results for simultaneous stepwise-removal modalities
Let $\mathsf{MLSR}$ be the modal logic of stepwise removal, and consider simultaneous extensions with modalities for removing a fixed finite number of points, such as the conjuncti…
Conjectureopendynamic-logic expressive-power modal-logicarXiv posted 2 days ago
0 votes0 replies0 views
Henkin-style second-order expressibility conjecture for NDL
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…
Conjectureopendynamic-logic program-verification second-order-logicarXiv posted 2 days ago

Conjecture on the preservation of results for simultaneous stepwise-removal modalities