Completeness of certain bimodal logics for subset spaces

Studia Logica

Volumn 71, Issue 1, 2002, Pages 1-30

  Weiss, M Angela ^a   Parikh, Rohit ^b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Logic of knowledge; Multi modal logics; Topological reasoning

Indexed keywords

EID: 9444227240     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1016372523344     Document Type: Article

References (9)

1. 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.
2. Dabrowski, A., A. Moss and R. Parikh, 'Topological reasoning and the logic of knowledge', Annals of Pure and Applied Logic 78:73-110, 1996.
3. Georgatos, K., Knowledge in a Spatial Setting. PhD thesis, CUNY, 1993.
4. 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.
5. 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.
6. 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.
7. Heinemann, B., Subset Space Logics and Logics of Knowledge and Time. PhD thesis, Fachbereich Informatic, Fern Universitat Hagen, 1997.
8. 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.
9. Weiss, M. A., 'Two classes of subset spaces logically equivalent to intersection spaces', in submission.