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)|
|Through your library||Configure|
Similar books and articles
Steffen Lewitzka & Andreas B. M. Brunner (2009). Minimally Generated Abstract Logics. Logica Universalis 3 (2).
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.
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).
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads6 ( #145,547 of 549,065 )
Recent downloads (6 months)1 ( #63,185 of 549,065 )
How can I increase my downloads?