MoL-2023-35: Dynamic logics of polyhedra and their application in 3D modeling

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

[thumbnail of MoL-2023-35.text.pdf] Text
MoL-2023-35.text.pdf - Published Version

Download (1MB)


This thesis investigates dynamic polyhedra. We establish the connection between models of dynamic polyhedra and dynamic Kripke frames. Based on this result, we introduce a model checker for dynamic models. We demonstrate the application of PolyLogicA model checker on a real-world example from the architectural domain. Several novel theoretical results are obtained, including the Hennessy-Milner theorem for the language of basic modal logic extended by reachability modality γ and polyhedral completeness for two dynamic logics. The work contributes to the field of spatial reasoning, bridging theoretical and practical aspects in spatial model checking for dynamic objects.

Item Type: Report
Report Nr: MoL-2023-35
Series Name: Master of Logic Thesis (MoL) Series
Year: 2023
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 12 Feb 2024 13:53
Last Modified: 12 Feb 2024 13:54

Actions (login required)

View Item View Item