Andrei Gheorghe Rusu

From MaRDI portal
Person:2926295

Available identifiers

zbMath Open rusu.andreiMaRDI QIDQ2926295

List of research outcomes





PublicationDate of PublicationType
On some classes of formulas in S5 which are pre-complete relative to existential expressibility2024-05-29Paper
https://portal.mardi4nfdi.de/entity/Q34647692016-01-27Paper
https://portal.mardi4nfdi.de/entity/Q29412732015-08-27Paper
https://portal.mardi4nfdi.de/entity/Q29262962014-10-23Paper
https://portal.mardi4nfdi.de/entity/Q35421542008-11-28Paper
https://portal.mardi4nfdi.de/entity/Q54267982007-11-13Paper
https://portal.mardi4nfdi.de/entity/Q52973332007-07-18Paper
On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic2004-08-30Paper
https://portal.mardi4nfdi.de/entity/Q43867471999-04-19Paper
https://portal.mardi4nfdi.de/entity/Q42260101999-01-18Paper
https://portal.mardi4nfdi.de/entity/Q48702861996-04-10Paper

Research outcomes over time

This page was built for person: Andrei Gheorghe Rusu

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