Expressive Completeness W ithout Possible Worlds
Much has been made of six examples produced by Al len Hazen (Hazen 1 976) of statements which are modal in character but which , according to Hazen , defy translation into the modal language of box , diamond and arrow. However, according to Hazen , they are susceptible to fairly obvious trans lations into the modal logic of quantification over possible worlds . This , c laims Hazen , is an argument for analysing modal talk in terms of possible worlds, and indeed for taking our ordinary modal discourse as being disguised discussion of possible
1 worlds and their relations .