On sets growing continuously

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

Volumn 1738, Issue , 1999, Pages 420-431

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AXIOMATI-SATION; HEIDELBERG; TEMPORAL REASONING; TOPOLOGICAL REASONING;

SOFTWARE ENGINEERING;

EID: 84958770525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46691-6_34     Document Type: Conference Paper

References (15)

1. Artemov, S., Davoren, J., Nerode, A.: Topological Semantics for Hybrid Systems. Lecture Notes in Computer Science, Vol. 1234 (1997) 1-8.
2. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford (1997)
3. Chellas, B. F.: Modal Logic: An Introduction. Cambridge (1980)
4. Davoren, J.: Modal Logics for Continuous Dynamics. PhD dissertation, Cornell University (1998)
5. Dabrowski, A., Moss, L. S., Parikh, R.: Topological Reasoning and The Logic of Knowledge. Annals of Pure and Applied Logic 78 (1996) 73-110.
6. Fagin, R., Halpern, J. Y., Moses, Y., Vardi, M. Y.: Reasoning about Knowledge. Cambridge(Mass.) (1995)
7. Georgatos, K.: Knowledge Theoretic Properties of Topological Spaces. Lecture Notes in Computer Science, Vol. 808 (1994) 147-159.
8. Georgatos, K.: Knowledge on Treelike Spaces. Studia Logica 59 (1997) 271-301.
9. Goldblatt, R.: Logics of Time and Computation. Stanford (1987)
10. Halpern, J.Y., Moses, Y.: Knowledge and Common Knowledge in a Distributed Environment. Journal of the ACM 37 (1990) 549-587.
11. Halpern, J.Y., Vardi, M.Y.: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. Journal of Computer and System Sciences 38 (1989) 195-237.
12. Hansen, M. R., Chaochen, Z.: Duration Calculus: Logical Foundations. Formal Aspects of Computing 9 (1997) 283-330.
13. Heinemann, B.: A Topological Generalization of Propositional Linear Time Temporal Logic. Lecture Notes in Computer Science, Vol. 1295 (1997) 289-297.
14. Heinemann, B.: Separating Sets by Modal Formulas. Lecture Notes in Computer Science, Vol. 1548 (1999) 140-153.
15. Prade, H. (ed.): ECAI 98. 13th European Conference on Artificial Intelligence. Chichester (1998)