David Carmel, Haggai Roitman, et al.
ACM TIST
Paper
A Model-Theoretic Analysis of Knowledge
Abstract
No abstract available.
Related
S. Winograd
Journal of the ACM
Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Seung Gu Kang, Jeff Weber, et al.
ACS Fall 2023