TY - JOUR AU - Boolos, George AU - Smorynski, C. IS - 1 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 1988 TI - Self-Reference and Modal Logic VL - 53 ER -