|
| | | | |
| | | |
| Stat |
Members: 3645
Articles: 2'506'133
Articles rated: 2609
27 April 2024 |
|
| | | | |
|
Article overview
| |
|
|
Revisable Justified Belief: Preliminary Report | | Alexandru Baltag
; Bryan Renne
; Sonja Smets
; | | Date: |
27 Mar 2015 | | Abstract: | The theory $mathsf{CDL}$ of Conditional Doxastic Logic is the single-agent
version of Board’s multi-agent theory $mathsf{BRSIC}$ of conditional belief.
$mathsf{CDL}$ may be viewed as a version of AGM belief revision theory in
which Boolean combinations of revisions are expressible in the language. We
introduce a theory $mathsf{JCDL}$ of Justified Conditional Doxastic Logic that
replaces conditional belief formulas $B^psivarphi$ by expressions
$t{,:^{psi}}varphi$ made up of a term $t$ whose syntactic structure suggests
a derivation of the belief $varphi$ after revision by $psi$. This allows us
to think of terms $t$ as reasons justifying a belief in various formulas after
a revision takes place. We show that $mathsf{JCDL}$-theorems are the exact
analogs of $mathsf{CDL}$-theorems, and that this result holds the other way
around as well. This allows us to think of $mathsf{JCDL}$ as a theory of
revisable justified belief. | | Source: | arXiv, 1503.8141 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
|
| |
|
|
|
|
News, job offers and information for researchers and scientists:
| |
REGISTER