MoL-2023-35: Kopnev, Kirill (2023) Dynamic logics of polyhedra and their application in 3D modeling. [Report]