Hengshan Gao

From MaRDI portal
Person:583190

Available identifiers

zbMath Open gao.hengshanMaRDI QIDQ583190

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q44550892004-03-16Paper
A strong completeness theorem in intuitionistic quantified modal logic2001-02-28Paper
https://portal.mardi4nfdi.de/entity/Q48548641995-12-12Paper
A. N. Prior's modal intuitionistic calculus MIPC having 13 modalities1992-06-26Paper
Algebraic semantics of some normal quantified modal systems with the Barcan formula1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34690831989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38221441988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37986391987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37817351987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41191791976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55521641965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55206511964-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55349101964-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55349111964-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55373471964-01-01Paper

Research outcomes over time

This page was built for person: Hengshan Gao

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:583190&oldid=11953035"
Powered by MediaWiki