Dynamic Logic of Trust-Based Beliefs
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917055160123392 |
|---|---|
| author | Jiang, Junli Naumov, Pavel Zhang, Wenxuan |
| author_facet | Jiang, Junli Naumov, Pavel Zhang, Wenxuan |
| contents | Traditionally, an agent's beliefs would come from what the agent can see, hear, or sense. In the modern world, beliefs are often based on the data available to the agents. In this work, we investigate a dynamic logic of such beliefs that incorporates public announcements of data. The main technical contribution is a sound and complete axiomatisation of the interplay between data-informed beliefs and data announcement modalities. We also describe a non-trivial polynomial model checking algorithm for this logical system. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_00899 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Dynamic Logic of Trust-Based Beliefs Jiang, Junli Naumov, Pavel Zhang, Wenxuan Logic in Computer Science Artificial Intelligence Logic Traditionally, an agent's beliefs would come from what the agent can see, hear, or sense. In the modern world, beliefs are often based on the data available to the agents. In this work, we investigate a dynamic logic of such beliefs that incorporates public announcements of data. The main technical contribution is a sound and complete axiomatisation of the interplay between data-informed beliefs and data announcement modalities. We also describe a non-trivial polynomial model checking algorithm for this logical system. |
| title | Dynamic Logic of Trust-Based Beliefs |
| topic | Logic in Computer Science Artificial Intelligence Logic |
| url | https://arxiv.org/abs/2511.00899 |