Generalizing the modal and temporal logic of linear time

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

Volumn 1816, Issue , 2000, Pages 41-56

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER CIRCUITS; SOFTWARE ENGINEERING;

DYNAMIC ASPECTS; LINEAR TIME; LINEAR TIME TEMPORAL LOGIC; MODAL LOGIC; SYSTEMS MODELLING;

TEMPORAL LOGIC;

EID: 84974735973     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_6     Document Type: Conference Paper

References (14)

1. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Forthcoming; see URL http://turing/wins/uva/nl/~mdr/Publications/modal-logic.html
2. Chellas, B. F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
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. Davoren, J.: Modal Logics for Continuous Dynamics. PhD dissertation, Department of Mathematics, Cornell University (1998)
5. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge(Mass.) (1995)
6. Georgatos, K.: Knowledge on Treelike Spaces. Studia Logica 59 (1997) 271-301
7. Goldblatt, R.: Logics of Time and Computation. CSLI Lecture Notes 7, Stanford, CA (1987)
8. 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
9. Hansen, M.R., Chaochen, Z.: Duration Calculus: Logical Foundations. Formal Aspects of Computing 9 (1997) 283-330
10. Heinemann, B.: Topological Nexttime Logic. In: Kracht, M., de Rijke, M.,Wansing, H., Zakharyaschev,M. (eds.): Advances in Modal Logic, Vol. 1. CSLI Publications 87, Stanford, CA (1998) 99-113
11. Heinemann, B.: Temporal Aspects of the Modal Logic of Subset Spaces. Theoretical Computer Science 224(1-2) (1999) 135-155
12. McKinsey, J.C.C.: A Solution to the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology. J. Symbolic Logic 6(3) (1941) 117-141
13. Nutt, W.: On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. Lecture Notes in Computer Science Vol. 1701 (1999) 113-125
14. Ono, H., Nakamura, A.: On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics. Studia Logica 39 (1980) 325-333