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||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
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 downloads6 ( #160,257 of 1,008,519 )
Recent downloads (6 months)1 ( #64,735 of 1,008,519 )
How can I increase my downloads?