4 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |