About the temporal decrease of sets

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2001, Pages 234-239

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR TIME TEMPORAL LOGIC; LOGICAL LANGUAGE; SOUND AND COMPLETE;

COMPUTABILITY AND DECIDABILITY;

EID: 84880048986     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2001.930722     Document Type: Conference Paper

References (13)

1. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Forthcoming (preprint web-available).
2. A. Dabrowski, L. S Moss, and R. Parikh. Topological Reasoning and The Logic of Knowledge. Annals of Pure and AppliedLogic, 78:73-110, 1996.
3. C. Dixon and M. Fisher. Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall. In International Conference on Temporal Logic 2000, pages 43-52, Leipzig, October 2000. University of Leipzig
4. R. Fagin, J. Y. Halpem, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge (Mass.), 1995.
5. D. M. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, volume 28 of Oxford Logic Guides. Clarendon Press, Oxford, 1994.
6. K. Georgatos. Knowledge Theoretic Properties of Topological Spaces. In M. Masuch and L. Polos, editors, Knowledge Representation and Uncertainty, volume 808 of Lecture Notes in Computer Science, pages 147-159. Springer, 1994.
7. K. Georgatos. Knowledge on Treelike Spaces. Studia Logica, 59271-301, 1997.
8. R. Goldblatt. Logics of Time and Computation, volume 7 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford. second edition, 1992.
9. J. Y. Halpern and Y. Moses. Knowledge and Common Knowledge in a Distributed Environment. Journal of the ACM, 37~549-587, 1990
10. B. Heinemann. Topological Nexttime Logic. In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyawhev, editors, Advances in Modal Logic I, volume 87 of CSLZ Publications, pages 99-113, Stanford, CA, 1998. Kluwer
11. B. Heinemann. Temporal Aspects of the Modal Logic of Subset Spaces. Theoretical Computer Science, 224(1-2):135-155, 1999.
12. B. Heinemann. Extending Topological Nexttime Logic. In S D. Goodwin and A. Trudel, editors, Temporal Representation and Reasoning, 7th International Workshop, TIME-00, pages 87-94, Los Alamitos, Ca., 2000. IEEE Computer Society Press
13. A. P. Sistla and E. M. Clarke. The Complexity of PropositionalLinear Temporal Logics. Journal ofthe ACM, 32733-749, 1985.