Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. Knowledge-based programs. (English) Zbl 1448.68406 Distrib. Comput. 10, No. 4, 199-225 (1997). MSC: 68T30 68N30 68Q85 68T42 PDFBibTeX XMLCite \textit{R. Fagin} et al., Distrib. Comput. 10, No. 4, 199--225 (1997; Zbl 1448.68406) Full Text: DOI
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. What can machines know? On the properties of knowledge in distributed systems. (English) Zbl 0799.68179 J. Assoc. Comput. Mach. 39, No. 2, 328-376 (1992). MSC: 68T35 68T30 PDFBibTeX XMLCite \textit{R. Fagin} et al., J. Assoc. Comput. Mach. 39, No. 2, 328--376 (1992; Zbl 0799.68179) Full Text: DOI
Halpern, Joseph Y.; Vardi, Moshe Y. Model checking vs. Theorem proving: A manifesto. (English) Zbl 0755.68121 Artificial intelligence and mathematical theory of computation, Pap. in Honor of J. McCarthy, 151-176 (1991). MSC: 68T15 PDFBibTeX XMLCite \textit{J. Y. Halpern} and \textit{M. Y. Vardi}, in: Artificial intelligence and mathematical theory of computation. Papers in honor of John McCarthy. Boston, MA etc.: Academic Press, Inc.. 151--176 (1991; Zbl 0755.68121)
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. A model-theoretic analysis of knowledge. (English) Zbl 0799.68177 J. Assoc. Comput. Mach. 38, No. 2, 382-428 (1991). MSC: 68T30 68T27 03B45 03C99 PDFBibTeX XMLCite \textit{R. Fagin} et al., J. Assoc. Comput. Mach. 38, No. 2, 382--428 (1991; Zbl 0799.68177) Full Text: DOI