Hungary / United States / Netherlands / China / Georgia / / /
EntertainmentAwardEvent
Medal and Prize / /
Facility
University of Notre Dame / Moscow State University / University of Amsterdam / University of Pennsylvania Dissertation / Institute of Artificial Intelligence / Shandong University / Xiamen University / Indiana University / Tbilisi State University / Villanova University / University of Pennsylvania / / /
IndustryTerm
necessity operator / journal version Online / book version Online / journal version Online preprint / constructive systems / modal systems / /
Organization
Moscow State University / Visiting Associate Professor Philosophy Department / Dutch government / International Congress / Tbilisi State University / National Science Foundation / Institute for Logic / Language and Computation / Xiamen University / Villanova University / Senior Researcher Institute of Philosophy / University of Pennsylvania Dissertation / Chair Professor School of Computer Science and Technology / Shandong University / Jinan / Academy of Sciences of the Georgian SSR / Georgian Academy of Sciences / the University of Pennsylvania / University of Pennsylvania / Philadelphia / University of Amsterdam / Amsterdam / Visiting Professor School of Information Science and Technology / University of Notre Dame / Indiana University / Computing Sciences Department / /
Person
George Boolos / Dick de Jongh / / /
Position
Research Assistant / Principal Investigator / Assistant Professor / Major / Official journal version Online preprint Author / Dean / Associate Professor / /
ProvinceOrState
Pennsylvania / Fujian / Shandong / /
PublishedMedium
Theoretical Computer Science / Philosophy of Science / /