Skip to main content
SpringerLink
Log in

Modal logics of some geometrical structures

  • Large Systems
  • Published:
Problems of Information Transmission Aims and scope Submit manuscript

Abstract

We study modal logics of regions in a real space ordered by the inclusion and compact inclusion relations. For various systems of regions, we propose complete finite modal axiomatizations; the described logics are finitely approximable and PSPACE-complete.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Lutz, C. and Wolter, F., Modal Logics of Topological Relations, Log. Methods Comput. Sci., 2006, vol. 2, no. 2, paper 5.

  2. Randell, D., Cui, Z., and Cohn, A., A Spatial Logic Based on Regions and Connection, in Proc. 4th European Workshop on Semantics of Time, Space, and Movement and Spatio-Temporal Reasoning, Château de Bonas, France, 1992, pp. 391–405.

  3. Egenhofer, M. and Franzosa, R., Point-Set Topological Spatial Relations, Int. J. Geograph. Inform. Syst., 1991, vol. 5, no. 2, pp. 161–174.

    Article  Google Scholar 

  4. Shapirovsky, I. and Shehtman, V., Modal Logics of Regions and Minkowski Spacetime, J. Logic Comput., 2005, vol. 15, no. 4, pp. 559–574.

    Article  MATH  MathSciNet  Google Scholar 

  5. Chagrov, A. and Zakharyaschev, M., Modal Logic, Oxford: Clarendon; New York: Oxford Univ. Press, 1997.

    MATH  Google Scholar 

  6. Goranko, V. and Passy, S., Using the Universal Modality: Gains and Questions, J. Logic Comput., 1992, vol. 2, no. 1, pp. 5–30.

    Article  MATH  MathSciNet  Google Scholar 

  7. Shapirovsky, I., Downward-Directed Transitive Frames with Universal Relations, Advances in Modal Logic, vol. 6, Governatori, G., Hodkinson, I., and Venema, Y., Eds., London: College Publ., 2006, pp. 413–428.

    Google Scholar 

  8. Blackburn, P., de Rijke, M., and Venema, Y., Modal Logic, Cambridge: Cambridge Univ. Press, 2001.

    MATH  Google Scholar 

  9. Shapirovsky, I. and Shehtman, V., Chronological Future Modality in Minkowski Spacetime, Advances in Modal Logic, vol. 4, Balbiani, P., Suzuki, N.-Y., Wolter, F., and Zakharyaschev, M., Eds., 2003, pp. 437–459.

  10. Shapirovsky, I., On PSPACE-Decidability in Transitive Modal Logics, Advances in Modal Logic, vol. 5, Schmidt, R., Pratt-Hartmann, I., Reynolds, M., and Wansing, H., Eds., London: College Publ., 2005, pp. 269–287.

    Google Scholar 

  11. Goldblatt, R., Diodorean Modality in Minkowski Spacetime, Studia Logica, 1980, vol. 39, no. 2–3, pp. 219–236.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kharkevich Institute for Information Transmission Problems, RAS, Moscow, Russia

    I. B. Shapirovsky

Authors
  1. I. B. Shapirovsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to I. B. Shapirovsky.

Additional information

Original Russian Text © I.B. Shapirovsky, 2007, published in Problemy Peredachi Informatsii, 2007, Vol. 43, No. 3, pp. 97–104.

Supported in part by the Russian Foundation for Basic Research, project no. 06-01-72555, and RFBRNWO, project no. 047.011.2004.04.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shapirovsky, I.B. Modal logics of some geometrical structures. Probl Inf Transm 43, 255–262 (2007). https://doi.org/10.1134/S0032946007030076

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0032946007030076

Keywords

Search

Navigation