Title :
A Model-Theoretic Analysis Of Knowledge: Preliminary Report
Author :
Fagin, Ronald ; Halpern, Joseph Y. ; Vardi, Moshe Y.
Author_Institution :
IBM Research Laboratory
Keywords :
Artificial intelligence; Computer science; Cryptographic protocols; Cryptography; Distributed computing; Distributed databases; Knowledge based systems; Laboratories; Pipelines;
Conference_Titel :
Foundations of Computer Science, 1984. 25th Annual Symposium on
Print_ISBN :
0-8186-0591-X
DOI :
10.1109/SFCS.1984.715925