Separating sets by modal formulas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1548, Issue , 1998, Pages 140-153

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; RECONFIGURABLE HARDWARE; SET THEORY; SOFTWARE ENGINEERING;

AXIOMATIZATION; MODAL FORMULAS; TREE MODELS;

COMPUTER CIRCUITS;

EID: 84958962427     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49253-4_12     Document Type: Conference Paper

References (15)

1. Chellas, B. F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
2. Artemov, S., Davoren, J., Nerode, A.:. Topological Semantics for Hybrid Systems. In: Adian, S., Nerode, A. (eds.): Logical Foundations of Computer Science, LFCS'97. Lecture Notes in Computer Science, Vol. 1234. Springer-Verlag, Berlin Heidelberg New York (1997) 1-8
3. Dabrowski, A., Moss, L.S., Parikh, R.: Topological Reasoning and The Logic of Knowledge. Annals of Pure and Applied Logic 78 (1996) 73-110
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge(Mass.) (1995)
5. Georgatos, K.: Knowledge Theoretic Properties of Topological Spaces. In: Masuch, M., Polos, L. (eds.): Knowledge Representation and Uncertainty. Lecture Notes in Computer Science, Vol. 808. Springer-Verlag, Berlin Heidelberg New York (1994) 147-159
6. Georgatos, K.: Reasoning about Knowledge on Computation Trees. In: MacNish, C., Pearce, D., Pereira, L.M. (eds.): Logics in Artificial Intelligence, JELIA'94. Lecture Notes in Computer Science, Vol. 838. Springer-Verlag, Berlin Heidelberg New York (1994) 300-315
7. Georgatos, K.: Private communication
8. Goldblatt, R.: Logics of Time and Computation. Center for the Study of Language and Information, Stanford (1987)
9. Heinemann, B.: ‘Topological' Modal Logic of Subset Frames with Finite Descent. In: Kautz, H., Selman, B. (eds.): Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, AI/MATH-96. Fort Lauderdale (1996) 83-86
10. Heinemann, B.: On binary computation structures. Mathematical Logic Quaterly 43 (1997) 203-215
11. Heinemann, B.: A topological generalization of propositional linear time temporal logic. In: Prívara, I., Ružička, P. (eds.): Mathematical Foundations of Computer Science (22nd International Symposium, MFCS'97). Lecture Notes in Computer Science, Vol. 1295. Springer-Verlag, Berlin Heidelberg New York (1997) 289-297
12. Heinemann, B.: Including Separation in the Modal Logic of Subset Spaces. Technical Report, No. 231. FernUniversität, Hagen (1998)
13. Ladner, R.E.: The Computational Complexity of Provability in Systems of Modal Propositional Logic. SIAM Journal of Computing 6 (1977) 467-480
14. Marx, M., Venema, Y.: Multi-Dimensional Modal Logic. Kluwer, Dordrecht (1996)
15. Moss, L.S., Parikh R.: Topological Reasoning and The Logic of Knowledge. In: Moses, Y. (ed.): Theoretical Aspects of Reasoning about Knowledge, TARK 1992. Morgan Kaufmann, San Francisco (1992) 95-105