El text parla sobre el tema Protestes?
La lògica doxàstica (del grec antic δόξα, doxa, "creença") és una lògica modal que s'ocupa del raonament sobre les creences. Típicament, una lògica doxàstica utilitza l'expressió                                    B                        c                             p                          {\displaystyle B_{c}p\,}    per significar "el raonador c creu que p és veritable", i el conjunt                                    B                        c                                              {\displaystyle B_{c}\,}    es refereix al conjunt de creences de c. Hi ha un paral·lelisme complet entre els raonadors que creuen en proposicions i els sistemes matemàtics que demostren proposicions. Utilitzant la lògica doxàstica, es pot expressar l'equivalent epistèmic del teorema d'incompletesa de Gödel, com també el teorema de Lob, i altres resultats matemàtics.
No.