Validity in intensional languages: A new approach (Q2266709)

The standard (Kripke) definition of validity for modal logic is insufficiently motivated: there is no reason to use more than one set of possible worlds. But if there is only one frame, which one? The authors state broad requirements for such a frame, then define \(validity_ 1\) (opposed to \(validity_ 2\), which is Kripke's validity), and construct five systems of modal logic (two of them with individuals and quantifiers) that they study partially. - Reviewer's comments. While the starting point seems interesting, the technical development is less satisfactory. Particularly: (i) the authors do not signal that their rule ''(4)'' (p. 19), for the truth of modal formulas in system PL, is not standard, that being the cause of the difference between PL and S5 (compare system PA, with the standard rule (4'), which is isomorphic to S5); (ii) no mention is made of the Makinson canonical model, which uses only one well defined set of possible worlds.