Author:
Goldblatt Robert,Hodkinson Ian
Reference45 articles.
1. Reasoning about space: the modal way;Aiello;J. Logic Comput.,2003
2. Separation axioms between T0 and T1;Aull;Indag. Math. (Proc.),1962
3. Some results on modal axiomatization and definability for topological spaces;Bezhanishvili;Studia Logica,2005
4. A New Proof of Completeness of S4 with Respect to the Real Line;Bezhanishvili,2002
5. More on d-logics of subspaces of the rational numbers;Bezhanishvili;Notre Dame J. Form. Log.,2012
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Model Theory of Topology;Studia Logica;2024-05-03
2. THE BAIRE CLOSURE AND ITS LOGIC;The Journal of Symbolic Logic;2024-01-05
3. Dynamic Cantor Derivative Logic;Logical Methods in Computer Science;2023-12-18
4. Fixed point logics and definable topological properties;Mathematical Structures in Computer Science;2023-12-13
5. The Topological Mu-Calculus: Completeness and Decidability;Journal of the ACM;2023-10-11