MoL-2023-35: Kopnev, Kirill (2023) Dynamic logics of polyhedra and their application in 3D modeling. [Report]
![[thumbnail of MoL-2023-35.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
MoL-2023-35.text.pdf - Published Version Download (1MB) |
Abstract
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 Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 12 Feb 2024 13:53 |
| Last Modified: | 12 Feb 2024 13:54 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2296 |
Actions (login required)
 |
View Item |
