Computer Science – Logic in Computer Science
Scientific paper
2000-07-26
In Knowledge Representation and Uncertainty. M. Masuch and L. Polos, Eds. Lecture Notes in Artificial Intelligence, vol. 808,
Computer Science
Logic in Computer Science
14 pages
Scientific paper
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.
No associations
LandOfFree
Knowledge Theoretic Properties of Topological Spaces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Knowledge Theoretic Properties of Topological Spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Knowledge Theoretic Properties of Topological Spaces will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-582104