 Summarizing, then: Adams’ distinction between truth in a world and truth at a world motivated a number of intuitive semantic principles that, when formalized, yield a “perspectivalist” modal logic A: