Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Bezhanishvili, G., & Gehrke, M. (2005). Completeness of S4 with respect to the real line: Revisited. Annals of Pure and Applied Logic, 131(1–3), 287–301.
2. Halmos, P. (1959). Boolean algebras. New York: Stevens & Co.
3. Kremer, P., & Mints, G. (2005). Dynamic topological logic. Annals of Pure and Applied Logic, 131(1–3), 133–158.
4. Lando, T., & Sarenac, D. (2011). Fractal completeness techniques in topological modal logic (forthcoming).
5. McKinsey, J. C. C., & Tarski, A. (1944). The algebra of topology. Annals of Mathematics, 45(1), 141–191.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. THE BAIRE CLOSURE AND ITS LOGIC;The Journal of Symbolic Logic;2024-01-05
2. Strong Completeness of S4 for the Real Line;Outstanding Contributions to Logic;2021-09-25
3. LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA;The Review of Symbolic Logic;2016-10-28
4. Measure Quantifier in Monadic Second Order Logic;Logical Foundations of Computer Science;2015-12-10
5. TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4;The Journal of Symbolic Logic;2015-04-22