2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30342We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh. Among our results is a solution of a conjecture by the formentioned authors, finite satisfiability property and decidability for the theory of topological models.14 pagesLogic in Computer ScienceF.4.1text