The situation in logic-iv: On the model theory of common knowledge (1988)

by Jon Barwise