A model-theoretic analysis of knowledge: Preliminary reportRonald FaginJoseph Y. Halpernet al.1984FOCS 1984