3 ideas
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
9471 | Intensions are creatures of darkness which should be exorcised [Quine] |