Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
Define common true belief in a KB-model in terms of general true belief \(EbP\)("everyone believes P") \(C_bP:=...\)
Answer
\(\cup_{n\geq0}(Eb)^nP=P\cup EbP\cup Eb(EbP)...\)T n≥0 (Eb) n P = P ∩ EbP ∩ Eb(EbP ) ∩ · · ·
Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
Define common true belief in a KB-model in terms of general true belief \(EbP\)("everyone believes P") \(C_bP:=...\)
Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
Define common true belief in a KB-model in terms of general true belief \(EbP\)("everyone believes P") \(C_bP:=...\)
Answer
\(\cup_{n\geq0}(Eb)^nP=P\cup EbP\cup Eb(EbP)...\)T n≥0 (Eb) n P = P ∩ EbP ∩ Eb(EbP ) ∩ · · ·
If you want to change selection, open document below and click on "Move attachment"
pdf
owner:
rappatoni - (no access) - Baltag and Smets - conditional doxastic models a qualiltative approach to odynamic belief revision.pdf, p5
Summary
status | not learned | | measured difficulty | 37% [default] | | last interval [days] | |
---|
repetition number in this series | 0 | | memorised on | | | scheduled repetition | |
---|
scheduled repetition interval | | | last repetition or drill | | | | |
---|
Details
No repetitions