Abstract.
Knowledge modal formulas are interpreted by a universal modal world in the hypersets universe [A]. This remedies the limitation of the interpretation of knowledge formulas by a tower of modal worlds in the well founded universe [F], where each world can interpret only a portion of knowledge modal formulas.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 21 August 1995
Rights and permissions
About this article
Cite this article
Tsujishita, T. Construction of universal modal worlds based on hyperset theory. Arch Math Logic 38, 1–18 (1999). https://doi.org/10.1007/s001530050113
Issue Date:
DOI: https://doi.org/10.1007/s001530050113