Hengshan Gao

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 2058485 (Why is no real title available?)	2004-03-16	Paper
A strong completeness theorem in intuitionistic quantified modal logic Science in China. Series E	2001-02-28	Paper
scientific article; zbMATH DE number 817497 (Why is no real title available?)	1995-12-12	Paper
A. N. Prior's modal intuitionistic calculus MIPC having 13 modalities Chinese Science Bulletin	1992-06-26	Paper
Algebraic semantics of some normal quantified modal systems with the Barcan formula Chinese Science Bulletin	1989-01-01	Paper
scientific article; zbMATH DE number 4135914 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4095430 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4064961 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4043815 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3544008 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3265746 (Why is no real title available?)	1965-01-01	Paper
scientific article; zbMATH DE number 3232756 (Why is no real title available?)	1964-01-01	Paper
scientific article; zbMATH DE number 3248002 (Why is no real title available?)	1964-01-01	Paper
scientific article; zbMATH DE number 3248003 (Why is no real title available?)	1964-01-01	Paper
scientific article; zbMATH DE number 3250533 (Why is no real title available?)	1964-01-01	Paper

Research outcomes over time

This page was built for person: Hengshan Gao