Skip to main content
Log in

Modal Logics of Succession for 2-Dimensional Integral Spacetime

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

We consider the problem of axiomatizing various natural “successor” logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the “standard” modal language (i.e. the language containing □ and ⋄) is not finitely axiomatizable.

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

Access this article

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. Gabbay, D. and Shehtman, V., Products of modal logics, Part 1, Logic J. IGPL 6 (1998), 73–146.

    Google Scholar 

  2. Goldblatt, R., Diodorean modality in Minkowski spacetime, Studia Logica 39 (1980), 219–236.

    Google Scholar 

  3. Goldblatt, R., Logics of Time and Computation, 2nd edn, CSLI Lecture Notes 7, 1992.

  4. Hughes, G. E. and Cresswell, M. J., A New Introduction to Modal Logic, Routledge, New York, 1996.

    Google Scholar 

  5. Marx, M., Complexity of products of modal logics, J. Logic Comput. 9 (1999), 221–238.

    Google Scholar 

  6. Marx, M. and Venema, Y., Multi-Dimensional Modal Logics, Kluwer Academic Publishers, Dordrecht, 1997.

    Google Scholar 

  7. Marx, M. and Reynolds, M., Undecidability of compass logic, J. Logic Comput. (1999) (forthcoming).

  8. Prior, A., Time and Modality, Clarendon Press, Oxford, 1957.

    Google Scholar 

  9. Reynolds, M., A decidable temporal logic of parallelism, Notre Dame J. Formal Logic 38 (1997).

  10. Reynolds, M., Undecidability of the rectangular modal product, http: //www.it.murdoch.edu.au/~mark/research/online/prodl.html.

  11. Segerberg, K., On the logic of tomorrow, Theoria 33 (1967), 45–52.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Phillips, J.F. Modal Logics of Succession for 2-Dimensional Integral Spacetime. Journal of Philosophical Logic 30, 1–25 (2001). https://doi.org/10.1023/A:1017502425876

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1017502425876

Navigation