Impossible Worlds and Logical Omniscience: A Note on MacPherson's Logic of Belief
Ahti‐Veikko Pietarinen · 1998
MacPherson (MacPherson, 1993) argues that the impossible worlds semantics does not provide a plausible framework for dealing with the problem of logical omniscience for epistemic logic, since it amounts to equivocation of logical connectives. It is shown, however, that MacPherson's own logic of belief, put forward to avoid logical omniscience, can nevertheless be embedded and interpreted in the impossible worlds semantics.