On Angels and Demons: Strategic (De)Construction of Dynamic Models
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909987831283712 |
|---|---|
| author | Catta, Davide Galimullin, Rustam Mittelmann, Munyque |
| author_facet | Catta, Davide Galimullin, Rustam Mittelmann, Munyque |
| contents | In recent years, there has been growing interest in logics that formalise strategic reasoning about agents capable of modifying the structure of a given model. This line of research has been motivated by applications where a modelled system evolves over time, such as communication networks, security protocols, and multi-agent planning. In this paper, we introduce three logics for reasoning about strategies that modify the topology of weighted graphs. In Strategic Deconstruction Logic, a destructive agent (the demon) removes edges up to a certain cost. In Strategic Construction Logic, a constructive agent (the angel) adds edges within a cost bound. Finally, Strategic Update Logic combines both agents, who may cooperate or compete. We study the expressive power of these logics and the complexity of their model checking problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_07690 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On Angels and Demons: Strategic (De)Construction of Dynamic Models Catta, Davide Galimullin, Rustam Mittelmann, Munyque Logic in Computer Science F.4.1; I.2.4 In recent years, there has been growing interest in logics that formalise strategic reasoning about agents capable of modifying the structure of a given model. This line of research has been motivated by applications where a modelled system evolves over time, such as communication networks, security protocols, and multi-agent planning. In this paper, we introduce three logics for reasoning about strategies that modify the topology of weighted graphs. In Strategic Deconstruction Logic, a destructive agent (the demon) removes edges up to a certain cost. In Strategic Construction Logic, a constructive agent (the angel) adds edges within a cost bound. Finally, Strategic Update Logic combines both agents, who may cooperate or compete. We study the expressive power of these logics and the complexity of their model checking problems. |
| title | On Angels and Demons: Strategic (De)Construction of Dynamic Models |
| topic | Logic in Computer Science F.4.1; I.2.4 |
| url | https://arxiv.org/abs/2601.07690 |