2 problems

Completeness conjecture for two-dimensional cell complexes. The logic $\mathbf{DT_1C}+Ku_2$ is complete with respect to two-dimensional cell complexes, more exactly, adjunction spa…

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…