syntactic proofs of some well-known theorems in the area of interactive epistemology that specify some sufficient epistemic …, we present a variant of the logic extended with dynamic operators of Dynamic Epistemic Logic (DEL). We show that it … orderings over strategy profiles), and show that every assumption is expressed by a corresponding logical axiom of our logic …

The modeling of awareness and unawareness is a significant topic in the doxastic logic literature, where it is usually … draws upon the modal probabilistic logic that was introduced by Aumann (1999) at the semantic level, and then axiomatized by …-modal and probabilistic-of doxastic logic. …