Reasoning about Knowledge: an Overview (0)

by J Halpern
Venue:in [H2] above, l-l7