A note on equivalence of two semantics for epistemic logic of shallow depths

Wang, Yanjing
The dynamic, inquisitive, and visionary life of ϕ, ?ϕ, and ◊ϕ: A Festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman, {publisher}, 2013
Publication year: 2013

This short note establishes the equivalence of the indexed semantics by Wang (2006) and the epistemic world semantics of Kaneko and Suzuki (2003) for epistemic logic of bounded depths.

In A Festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman (2013)