A Dynamic Deontic Simplicial Logic for Joint Commitments
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916049591468032 |
|---|---|
| author | Cignarale, Giorgio Galeana, Hugo Rincon |
| author_facet | Cignarale, Giorgio Galeana, Hugo Rincon |
| contents | In this paper we introduce the novel Deontic Simplicial Logic (DSL), a deontic logic for group obligations based on simplicial complexes. We provide the first deontic interpretation of simplicial models in which vertices represent individual commitments and higher-dimensional simplices represent joint obligations of groups of agents. We further extend DSL to the Dynamic Deontic Simplicial Logic (DDSL), resulting in the first dynamic logic based on simplicial complexes. DDSL models agents' choices among mutually exclusive commitments and captures the effects of individual and joint actions via update operations on simplicial models. We prove soundness and completeness for both the static and dynamic deontic simplicial logics. We motivate our results with multiple examples, both in the static and dynamic settings. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_26883 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Dynamic Deontic Simplicial Logic for Joint Commitments Cignarale, Giorgio Galeana, Hugo Rincon Logic in Computer Science In this paper we introduce the novel Deontic Simplicial Logic (DSL), a deontic logic for group obligations based on simplicial complexes. We provide the first deontic interpretation of simplicial models in which vertices represent individual commitments and higher-dimensional simplices represent joint obligations of groups of agents. We further extend DSL to the Dynamic Deontic Simplicial Logic (DDSL), resulting in the first dynamic logic based on simplicial complexes. DDSL models agents' choices among mutually exclusive commitments and captures the effects of individual and joint actions via update operations on simplicial models. We prove soundness and completeness for both the static and dynamic deontic simplicial logics. We motivate our results with multiple examples, both in the static and dynamic settings. |
| title | A Dynamic Deontic Simplicial Logic for Joint Commitments |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2605.26883 |