David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 71 (1):1 - 30 (2002)
Subset Spaces were introduced by L. Moss and R. Parikh in . These spaces model the reasoning about knowledge of changing states.In  a kind of subset space called intersection space was considered and the question about the existence of a set of axioms that is complete for the logic of intersection spaces was addressed. In  the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Bernhard Heinemann (2008). A Hybrid Logic for Reasoning About Knowledge and Topology. Journal of Logic, Language and Information 17 (1):19-41.
Similar books and articles
Steffen Lewitzka & Andreas B. M. Brunner (2009). Minimally Generated Abstract Logics. Logica Universalis 3 (2):219-241.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2005). Some Results on Modal Axiomatization and Definability for Topological Spaces. Studia Logica 81 (3):325 - 355.
Konstantinos Georgatos (1997). Knowledge on Treelike Spaces. Studia Logica 59 (2):271-301.
Philip Kremer (2009). Dynamic Topological S5. Annals of Pure and Applied Logic 160 (1):96-116.
J. C. R. Alcantud (1999). Weak Utilities From Acyclicity. Theory and Decision 47 (2):185-196.
Andrzej W. Jankowski (1985). Universality of the Closure Space of Filters in the Algebra of All Subsets. Studia Logica 44 (1):1 - 9.
Kensaku Gomi (2009). Theory of Completeness for Logical Spaces. Logica Universalis 3 (2):243-291.
Bernhard Heinemann (2010). Using Hybrid Logic for Coping with Functions in Subset Spaces. Studia Logica 94 (1):23 - 45.
Added to index2009-01-28
Total downloads17 ( #160,237 of 1,726,249 )
Recent downloads (6 months)4 ( #183,615 of 1,726,249 )
How can I increase my downloads?