#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
each S-theory T ⊆ S gives rise to a syntactic theory th(T ) = {φ ∈ BKL : t |= S φ for all t ∈ T }.