Temporal aspects of the modal logic of subset spaces

Theoretical Computer Science

Volumn 224, Issue 1-2, 1999, Pages 135-155

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Logics of knowledge; Modal and temporal logic; Topological reasoning

Indexed keywords

EID: 0347663577     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00310-7     Document Type: Article

References (12)

1. M. Ben-Ari, Mathematical Logic for Computer Science, Prentice-Hall, New York, 1993.
2. B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
3. E.M. Clarke, A.P. Sistla, The complexity of propositional linear temporal logics, J. ACM 32 (1985) 733-749.
4. A. Dabrowski, L.S. Moss, R. Parikh, Topological reasoning and the logic of knowledge, Ann. Pure Appl. Logic 78 (1996) 73-110.
5. R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge, MA, 1995.
6. K. Georgatos, Knowledge theoretic properties of topological spaces, in: M. Masuch, L. Polos (Eds.), Knowledge Representation and Uncertainty, Springer, Berlin, 1994, pp. 147-159.
7. K. Georgatos, Reasoning about knowledge on computation trees, in: C. MacNish, D. Pearce, L.M. Pereira (Eds.), Proc. Logics in Artificial Intelligence (JELIA'94), Springer, Berlin, 1994, pp. 300-315.
8. R. Goldblatt, Logics of Time and Computation, CSLI Publications 7, Stanford, 1987.
9. B. Heinemann, 'Topological' modal logic of subset frames with finite descent, Proc. 4th Internat. Symp. on Artificial and Mathematics, AI/MATH-96, Fort Lauderdale, 1996, pp. 83-86.
10. B. Heinemann, Topological nexttime logic, in: M. Kracht, M. de Rijke, H. Wansing, M. Zakharyaschev, (Eds.), Advances in Modal Logic, vol. 1, CSLI Publications 87, Stanford, 1998, pp. 99-113.
11. M. Marx, Y. Venema, Multi-Dimensional Modal Logic, Kluwer, Dordrecht, 1996.
12. B.G. Scherer, Atome und Präfixe in der Wissenslogik, Ph.D. Thesis, ETH Zürich, 1995.