Halpern, Joseph Y.; Samet, Dov; Segev, Ella Defining knowledge in terms of belief: the modal logic perspective. (English) Zbl 1186.03030 Rev. Symb. Log. 2, No. 3, 469-487 (2009). Reviewer: Max A. Freund (San José) MSC: 03B42 03B45 PDF BibTeX XML Cite \textit{J. Y. Halpern} et al., Rev. Symb. Log. 2, No. 3, 469--487 (2009; Zbl 1186.03030) Full Text: DOI
Halpern, Joseph Y.; Samet, Dov; Segev, Ella On definability in multimodal logic. (English) Zbl 1190.03020 Rev. Symb. Log. 2, No. 3, 451-468 (2009). Reviewer: Max A. Freund (San José) MSC: 03B45 03B42 03G25 PDF BibTeX XML Cite \textit{J. Y. Halpern} et al., Rev. Symb. Log. 2, No. 3, 451--468 (2009; Zbl 1190.03020) Full Text: DOI