MoL-2020-17: Westers, Frans Maarten (2020) Dynamic Logics for Model Transformations. [Report]
![[thumbnail of MoL-2020-17.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
MoL-2020-17.text.pdf - Published Version Download (573kB) |
Abstract
This thesis is concerned with internalizing model transformations as ‘dynamic’ modalities in modal logic. The model-theoretic operations discussed here are (strong) simulations, homomorphisms, and functional powersets. For each of these transformations, we will extend the basic modal language with a modality, which expresses truth along this transformation. We then provide a sound and complete axiomatization for the new logic. As a part of the axiomatization of the simulation modality, we also study the so-called validity modality, which expresses whether a formula is a validity in a given logic. It is shown how to obtain a sound and complete axiomatization for this logic of validity, given an axiomatization and refutation system for the underlying logic. Finally, we show how the preservation laws for (strong) simulations and homomorphisms can be derived syntactically inside the logic. To this end, we provide a new proof of Lyndon’s positivity theorem in modal logic: a modal formula is preserved under homomorphisms iff it is equivalent to a positive existential formula.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2020-17 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2020 |
| Subjects: | Computation Logic |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 10 Jun 2025 12:37 |
| Last Modified: | 16 Jun 2025 12:09 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2366 |
Actions (login required)
 |
View Item |
