Abstract

This logic has a standard one-dimensional possible worlds semantics with an accessibility relation (I will call this, for short, the accessibility semantics for KDDc4, contrasting with the preposcription semantics given in “Command and consequence”). In the accessibility semantics, the semantic value of a sentence is a world (rather than a pair of worlds)