共 50 条
- [42] The Topological Mu-Calculus: completeness and decidability 2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
- [43] COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS REVIEW OF SYMBOLIC LOGIC, 2018, 11 (03): : 507 - 518
- [44] Locally compact topological groups and cofinal completeness JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2000, 62 : 451 - 460
- [47] THE COMPLETENESS OF FREE ABELIAN TOPOLOGICAL-GROUPS DOKLADY AKADEMII NAUK SSSR, 1983, 269 (02): : 299 - 303