Sarit Kraus, Daniel J. Lehmann. Knowledge, Belief and Time. Theoretical Computer Science, 58:155-174, 1988.
@article{KrausL88, title = {Knowledge, Belief and Time}, author = {Sarit Kraus and Daniel J. Lehmann}, year = {1988}, researchr = {https://researchr.org/publication/KrausL88}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {58}, pages = {155-174}, }