References

Becker, Oskar. 1930. Zur logik der modalitäten.

Berger, Robert. 1966. The undecidability of the domino problem,”*memoirs. The American Mathematical Society* 66. 72.

Gödel, Kurt. 1931. Über formal unentscheidbare sätze der principia mathematica und verwandter systeme i. Monatshefte für Mathematik Und Physik 38. 173–198.

Gödel, Kurt. 1933a. Eine interpretation des intuitionistischen aussagenkalküls. Ergebnisse Eines Mathematischen Kolloquiums 4. 39–40.

Gödel, Kurt. 1933b. The present situation in the foundations of mathematics. Collected Works 3. 45–53.

Henkin, Leon. 1952. The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory. Journal of Symbolic Logic 17(3). 207–208. DOI: https://doi.org/10.2307/2267706

Köhler, Eckehart. 2011. Collaborating with hao wang on gödel’sPhilosophy. (Parsons & Link, Eds.).

Kripke, Saul. 1959. A completeness theorem in modal logic. Journal of Symbolic Logic 24(1). 1–14. DOI: https://doi.org/10.2307/2964568

Kripke, Saul. 1963. Semantical analysis of modal logic i normal modal propositional calculi. Mathematical Logic Quarterly 9(5-6). 67–96. DOI: https://doi.org/10.1002/malq.19630090502

Löb, M.H. 1955. Solution of a problem of leon henkin. The Journal of Symbolic Logic 20(2). 115–118. Retrieved from http://www.jstor.org/stable/2266895

Pelikan, J. 1988. The melody of theology: A philosophical dictionary. Harvard University Press.

Quine, Willard van Orman. 1951. Two dogmas of empiricism. Originally in*The Philosophical Review* 60. 20–43,.

Van Benthem, Johan. 2010. Modal logic for open minds. Stanford, CA: Centre for the Study of Language & Information.

Wang, Hao. 1961. Proving theorems by patternrecognition—II". *Bell System Technical Journal* 40**1. 1–41.

Wang, Hao. 1965. Games, logic and computers. *ScientificAmerican* 5(v.). 98–106.

Wang, Hao. 1974. *From mathematics to philosophy*(humanities press. New York.

Wang, Hao. 1986. *Beyond analytic philosophy*. Cambridge,Mass: MIT Press.

Wang, Hao. 1987. *Reflections on kurt gödel*. Cambridge,Mass: MIT Press.

Wang, Hao. 1993. From kunming to new york.

Yu, Henry. 2001. *Thinking orientals: Migration, contact, andExoticism in modern america*. New York, NY: Oxford University Press.