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.
Similar content being viewed by others
REFERENCES
Gabbay, D. and Shehtman, V., Products of modal logics, Part 1, Logic J. IGPL 6 (1998), 73–146.
Goldblatt, R., Diodorean modality in Minkowski spacetime, Studia Logica 39 (1980), 219–236.
Goldblatt, R., Logics of Time and Computation, 2nd edn, CSLI Lecture Notes 7, 1992.
Hughes, G. E. and Cresswell, M. J., A New Introduction to Modal Logic, Routledge, New York, 1996.
Marx, M., Complexity of products of modal logics, J. Logic Comput. 9 (1999), 221–238.
Marx, M. and Venema, Y., Multi-Dimensional Modal Logics, Kluwer Academic Publishers, Dordrecht, 1997.
Marx, M. and Reynolds, M., Undecidability of compass logic, J. Logic Comput. (1999) (forthcoming).
Prior, A., Time and Modality, Clarendon Press, Oxford, 1957.
Reynolds, M., A decidable temporal logic of parallelism, Notre Dame J. Formal Logic 38 (1997).
Reynolds, M., Undecidability of the rectangular modal product, http: //www.it.murdoch.edu.au/~mark/research/online/prodl.html.
Segerberg, K., On the logic of tomorrow, Theoria 33 (1967), 45–52.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1017502425876