Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
How do the syntactic and the semantic notion of a theory relate in epistemic AGM theory?
Answer
each S-theory T ⊆ S gives rise to a syntactic theory th(T ) = {φ ∈ BKL : t |= S φ for all t ∈ T }.
Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
How do the syntactic and the semantic notion of a theory relate in epistemic AGM theory?
Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
How do the syntactic and the semantic notion of a theory relate in epistemic AGM theory?
Answer
each S-theory T ⊆ S gives rise to a syntactic theory th(T ) = {φ ∈ BKL : t |= S φ for all t ∈ T }.
If you want to change selection, open original toplevel document below and click on "Move attachment"
Parent (intermediate) annotation
Open iteach S-theory T ⊆ S gives rise to a syntactic theory th(T ) = {φ ∈ BKL : t |= S φ for all t ∈ T }.Original toplevel document (pdf)
owner:
rappatoni - (no access) - Baltag and Smets - conditional doxastic models a qualiltative approach to odynamic belief revision.pdf, p6
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