Languages with self reference II: Knowledge, belief, and modality (1988)

by D Perlis
Venue:Artificial Intelligence