publication venue for On an unsound proof of the existence of possible worlds.. 30:598-603. 1989 Other and else: restrictions on quantifier domains in game-theoretical semantics.. 28:423-430. 1987