A Hybrid Logic for Reasoning about Knowledge and Topology

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Representation, reasoning, and relational structures: a hybrid logic manifesto

Patrick Blackburn · Logic Journal of IGPL · 2000 · 331 citations

Computing, Computer Science, Knowledge Representation +9

Topological reasoning and the logic of knowledge

Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh · Annals of Pure and Applied Logic · 1996 · 135 citations

Computing, Mathematics, Knowledge Representation +11

Topological reasoning and the logic of knowledge

Lawrence S. Moss, Rohit Parikh · 1992 · 97 citations

Computing, Mathematics, Knowledge Representation +11

Knowledge on Treelike Spaces

Konstantinos Georgatos · Studia Logica · 1997 · 35 citations

Natural Sciences, Computer Science, Mathematics +6