PublicationJournal of the ACMPaperA Model-Theoretic Analysis of KnowledgeJournal of the ACMView publicationAbstractNo abstract available.Home↳ PublicationsDate04 Jan 1991PublicationJournal of the ACMAuthorsRonald FaginJoseph Y. HalpernMoshe Y. VardiIBM-affiliated at time of publicationTopicsAIShare