Topological modal logics satisfying finite chain conditions

Notre Dame Journal of Formal Logic

Volumn 39, Issue 3, 1998, Pages 406-422

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 9444288371     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1039182254     Document Type: Article

References (11)

1. Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
2. Dabrowski, A., L. S. Moss, and R. Parikh, “Topological reasoning and the logic of knowledge,” Annals of Pure and Applied Logic, vol. 78 (1996), pp. 73-110.
3. Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, The MIT Press, Cambridge, 1995.
4. Georgatos, K., “Knowledge theoretic properties of topological spaces,” pp. 147-59 in Knowledge Representation and Uncertainty, edited by M. Masuch and L. Polos, Springer, Berlin, 1994.
5. Georgatos, K., “Knowledge on treelike spaces,” Studia Logica, vol. 59 (1997), pp. 271301.
6. Goldblatt, R., Logics of Time and Computation, Center for the Study of Language and Information, Stanford, 1987.
7. Heinemann, B., “Topological’ modal logic of subset frames with finite descent,” pp. 83-86 in Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, edited by H. Kautz and B. Selman, Fort Lauderdale, 1996.
8. Ladner, R. E., “The computational complexity of provability in systems of modal propositional logic,” SIAM Journal of Computing, vol. 6 (1977), pp. 467-80.
9. Moss, L. S., and R. Parikh, “Topological reasoning and the logic of knowledge,” pp. 95-105 in Theoretical Aspects of Reasoning about Knowledge, edited by Y. Moses, Morgan Kaufmann, San Francisco, 1992.
10. Smorynski, C., “Modal logic and self-reference,” pp. 441-95 in Handbook of Philosophical Logic, vol. 2, edited by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984.
11. Weihrauch, K., “A foundation for computable analysis,” pp. 66-89 in Combinatorics, Complexity, and Logic, edited by D. S. Bridges, C. S. Calude, S. Cristian, J. Gibbons, S. Reeves, and I. H. Witten, Springer, Singapore, 1997.