Some theorems on the expressive limitations of modal languages

@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}
}
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