4 problems

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…

Variable-free expressivity conjecture. The phenomenon that variable-free fragments are as semantically expressive as the corresponding entire logics should be representative of PDL…

Formula-to-variable translation conjecture. Among more expressive logics, there should be translations $(alT,f)$ such that $alT$ maps each entire formula $phi$ to the propositional…

Dd-language expressiveness conjecture. Dd-logics are strictly more expressive than the other kinds of topomodal logics. In particular, it remains open whether the dd-language is st…