A Model-Theoretic Analysis Of Knowledge: Preliminary Report | IEEE Conference Publication | IEEE Xplore