共 50 条
- [22] Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4 [J]. Siberian Mathematical Journal, 2022, 63 : 286 - 298
- [23] FINITE-DIMENSIONAL POINTED HOPF ALGEBRAS OVER S4 [J]. ISRAEL JOURNAL OF MATHEMATICS, 2011, 183 (01) : 417 - 444
- [26] The Incompleteness of S4 ⊕ S4 for the Product Space R x R [J]. STUDIA LOGICA, 2015, 103 (01) : 219 - 226
- [27] Hyperbolic 5-manifolds that fiber over S1 [J]. INVENTIONES MATHEMATICAE, 2023, 231 (01) : 1 - 38
- [28] Mod p homology of F4-gauge groups over S4 [J]. TOPOLOGY AND ITS APPLICATIONS, 2019, 264 : 12 - 20