Abstract
This paper considers the application of modal logic formalisms to spatio-temporal information systems. It begins with a brief description of modal logic. Then follows a survey of common modal logical systems, especially temporal and dynamic systems. The paper discusses current work on temporal databases and considers the special problems of data with both a spatial and temporal reference.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Clifford, J., Warren, D. S., (1983) ‘Formal semantics for time in databases’, ACM TODS 8, 214–254.
Codd, E. F., (1979) ‘xtending the database relational model to capture more meaning’, ACM TODS 4(4), 397–434.
Harel, D., (1979) First-Order Dynamic Logic, Springer-Veiiag, Berlin.
Heamshaw, H. M., Maguire, D. J., Woiboys, M. F., (1989) ‘An Introduction to Area-Based Spatial Units: A Case Study of Leicestershire’, Midlands Regional Research Laboratory, Research Report No. 1.
Hughs, G. E., Cresswell, M. J., (1968) An Introduction to Modal Logic, Methuen, London (reprinted with corrections 1972).
Hughs, G. E., Cresswell, M. J., (1984) A Companion to Modal Logic, Methuen, London
Kholsa, S., Maibaum, T. S. E., Sadler, M., (1986) ‘Database Specification’, in Steel, T. B., Meersman, R. (eds.), Database Semantics, Elsevier, Netherlands.
Kripke, S., (1963) ‘Semantical Analysis of Modal Logic I: Normal Propositional Calculi’, Zeit. Math. Logik Grund 9, 67–96.
Lacroix, M. and Pirotte, A., (1977) ‘Domain-Oriented Relational Languages’, Proceedings, 3rd International Conference on Very Large Data Bases.
Langran, G., (1989) ‘A review of temporal database research and its use in GIS applications’, International Journal of Geographical Information Systems 3(3), 215–232.
Reschner, N. and Urquehart, A., (1971) Temporal Logic , Springer-Verlag.
Worboys, M. F., Heamshaw, H. M., and Maguire, D. J., (1990) ‘Object-oriented data and query modelling for geographical information systems’, Proceedings, 4th International Symposium on Spatial Data Handling, Zurich.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Worboys, M.F. (1991). The Role of Modal Logics in the Description of a Geographical Information System. In: Mark, D.M., Frank, A.U. (eds) Cognitive and Linguistic Aspects of Geographic Space. NATO ASI Series, vol 63. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2606-9_23
Download citation
DOI: https://doi.org/10.1007/978-94-011-2606-9_23
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5151-4
Online ISBN: 978-94-011-2606-9
eBook Packages: Springer Book Archive