A modal logic translation of the AGM axioms for belief revision
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909502859640832 |
|---|---|
| author | Bonanno, Giacomo |
| author_facet | Bonanno, Giacomo |
| contents | Building on the analysis of Bonanno (Artificial Intelligence, 2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator, a bimodal conditional operator and the unimodal global operator. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The correspondence is as follows: each AGM axiom is characterized by a property of the Kripke-Lewis frames considered in Bonanno (Artificial Intelligence, 2025) and, in turn, that property characterizes the proposed modal axiom. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_14176 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A modal logic translation of the AGM axioms for belief revision Bonanno, Giacomo Logic in Computer Science Artificial Intelligence 68, 03 Building on the analysis of Bonanno (Artificial Intelligence, 2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator, a bimodal conditional operator and the unimodal global operator. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The correspondence is as follows: each AGM axiom is characterized by a property of the Kripke-Lewis frames considered in Bonanno (Artificial Intelligence, 2025) and, in turn, that property characterizes the proposed modal axiom. |
| title | A modal logic translation of the AGM axioms for belief revision |
| topic | Logic in Computer Science Artificial Intelligence 68, 03 |
| url | https://arxiv.org/abs/2502.14176 |