Abstract
Subset Spaces were introduced by L. Moss and R. Parikh in [8]. These spaces model the reasoning about knowledge of changing states.
In [2] 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 [9] the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces.
We give here a complete axiomatization for directed spaces. We also show that it is not possible to reduce this set of axioms to a finite set.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bull, R and K. Segerberg, ‘Basic modal logic’, in D. Gabbay and F. Guenthner, editor, Handbook of Philophical Logic, vol II, pages 1-88. Reidel Publishing Co., 1984.
Dabrowski, A., A. Moss and R. Parikh, ‘Topological reasoning and the logic of knowledge’, Annals of Pure and Applied Logic78:73-110, 1996.
Georgatos, K., Knowledge in a Spatial Setting. PhD thesis, CUNY, 1993.
Georgatos, K., ‘Knowledge theoretical properties for topological spaces’, in M. Masuch and L. Polos, editor, Lecture Notes in Artificial Intelligence, vol 808, pages 147-159. Springer, 1994.
Georgatos, K., ‘Reasoning about knowledge on computation trees’, in C. MacNish, D. Pearce, and L. M. Pereira, editor, Logics in Artificial Intelligence, JELIA '94, pages 300-315. Springer, 1994.
Heinemann, B., ‘Topological modal logic of subset frames with finite descent’, in Proceedings of the Fourth International Symposium on Artificial and Mathematics, AI/MATH-96, pages 83-86, 1996.
Heinemann, B., Subset Space Logics and Logics of Knowledge and Time. PhD thesis, Fachbereich Informatic, Fern Universitat Hagen, 1997.
Moss, L. S., and R. Parikh, ‘Topological reasoning and the logic of knowledge’, in Y. Moses, editor, Theoretical Aspects of Reasoning about Knowledge, TARK, pages 95-105. Morgan Kaufmann, 1992.
Weiss, M. A., ‘Two classes of subset spaces logically equivalent to intersection spaces’, in submission.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Weiss, M.A., Parikh, R. Completeness of Certain Bimodal Logics for Subset Spaces. Studia Logica 71, 1–30 (2002). https://doi.org/10.1023/A:1016372523344
Issue Date:
DOI: https://doi.org/10.1023/A:1016372523344