Knowledge Theoretic Properties of Topological Spaces

TL;DR

This paper explores the logical properties of topological spaces in the context of knowledge reasoning, providing solutions to existing conjectures and establishing key decidability results for the theory of topological models.

Contribution

It offers a solution to a conjecture by Moss and Parikh and proves finite satisfiability and decidability for the theory of topological models.

Findings

Resolved a conjecture on topological models of knowledge logic

Established finite satisfiability property for the theory

Proved decidability of the theory of topological models

Abstract

We 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.