Donald Perlis Languages with Self-Reference II: Knowledge, Belief, and Modality. 179-212 1988 34 Artif. Intell. 2 db/journals/ai/ai34.html#Perlis88a