# Dynamic Logic of Trust-Based Beliefs

arXiv: https://arxiv.org/abs/2511.00899 · HTML: https://mlsanity.com/paper/2511.00899/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 4 of its 14 references that are in the map.
- First posted on arXiv 2 Nov 2025.

## Builds on (most cited first, 4 of 4)

- [Ceteris Paribus Structure in Logics of Game Forms](https://mlsanity.com/paper/1310.6416/) (2013)
- [A Simple Logic of Functional Dependence](https://mlsanity.com/paper/2103.14946/) (2021)
- [Knowing Values and Public Inspection](https://mlsanity.com/paper/1609.03338/) (2016)
- [Coalition and Group Announcement Logic](https://mlsanity.com/paper/1810.02769/) (2018)

## Abstract (arXiv)

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.