Highly Influenced

@article{Hodes1984SomeTO, title={Some theorems on the expressive limitations of modal languages}, author={Harold T. Hodes}, journal={J. Philosophical Logic}, year={1984}, volume={13}, pages={13-26} }

- Published 1984 in J. Philosophical Logic
DOI:10.1007/BF00297574

Fix a set of predicates Pred, each of a particular number of places, and a countably infinite set of variables Var; for a set of names C form the language L(c) by following the usual formation rules, with the primitives ‘l’, ‘7, ‘Y’ and ‘0’. A term of L(c) is a member of Var U C. Use and mention shall be freely confused. Let 16, (3~)$, Og, and Eu abbreviate 0 E 1, l(Vv)l#, lol@ and (3~) (v = u) where u is a term of L(C) and v is a variable distinct from a; ‘82, ‘v’ and ‘z are defined as usual… CONTINUE READING