Graduate studies at Western
Studia Logica 71 (1):1 - 30 (2002)
|Abstract||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.
Kensaku Gomi (2009). Theory of Completeness for Logical Spaces. Logica Universalis 3 (2):243-291.
Andrzej W. Jankowski (1985). Universality of the Closure Space of Filters in the Algebra of All Subsets. Studia Logica 44 (1):1 - 9.
J. C. R. Alcantud (1999). Weak Utilities From Acyclicity. Theory and Decision 47 (2):185-196.
Konstantinos Georgatos (1997). Knowledge on Treelike Spaces. Studia Logica 59 (2):271-301.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2005). Some Results on Modal Axiomatization and Definability for Topological Spaces. Studia Logica 81 (3):325 - 355.
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 ( #154,860 of 739,336 )
Recent downloads (6 months)1 ( #61,538 of 739,336 )
How can I increase my downloads?