Toru Tsujishita Construction of universal modal worlds based on hyperset theory. 1-18 1999 38 Arch. Math. Log. 1 http://dx.doi.org/10.1007/s001530050113 db/journals/aml/aml38.html#Tsujishita99