Abstract
The semantical structures called T×W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, ℒO, which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ⋄. However, these structures are also suitable for interpreting an extended language, ℒSO, containing a further possibility operator ⋄s which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history ‘simultaneity’ operator. In the present paper we provide an infinite set of axioms in ℒSO, which is shown to be strongly complete forT ×W-validity. Von Kutschera (1997) contains a finite axiomatization of T×W-validity which however makes use of the Gabbay Irreflexivity Rule (Gabbay, 1981). In order to avoid using this rule, the proof presented here develops a new technique to deal with reflexive maximal consistent sets in Henkin-style constructions.
Similar content being viewed by others
REFERENCES
Belnap, N. and Perloff, M.: “Seeing to it that: a canonical form of agentives”, in: Knowledge Representation and Defeasible Reasonings, H. E. Kyburg, Jr., R. P. Loui and G. N. Carlson (eds), Kluwer Academic Publisher, 1990, pp. 175–199.
Burgess, J.: “Logic and Time”, J Sym Log 44(1979): 556–582.
Chellas, B.: “Time and Modality in the Logic of Agency”, Studia Logica 51(1992): 485–517.
Di Maio, M. C. and Zanardo, A.: “Synchronized Histories in Prior-Thomason Representation of Branching Time”, in D. Gabbay and H. Ohlbach (eds), Proceedings of the First International Conference on Temporal Logic, Springer-Verlag, 1994, pp. 265–282.
5. van Fraassen, B.: Laws and Symmetry, Clarendon Press, Oxford, 1989.
Gabbay, D.: “An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames”, in U. Mönnich (ed.), Aspects of Philosophical Logic, D. Reidel, Dordrecht, 1981, pp. 67–89.
von Kutschera, F.: “Causation”, J Phil Log 22(1993): 563–588.
von Kutschera, F.: “T × W Completeness”, J Phil Log 26(1997): 241–250.
Prior, A.: Past, Present and Future, Clarendon, Oxford, 1967.
Thomason, R.: “Combinations of tense and modality”, in D. Gabbay and F. Guenthner (eds), The Handbook of Philosophical Logic, Vol. 2, D. Reidel, Dordrecht, 1984, pp. 135–165.
Zanardo, A.: “A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas”, J Phil Log 14 (1985): 447–468.
Zanardo, A.: “Branching-Time Logic with Quantification over Branches: the Point of View of Modal Logic”, J Sym Log 61(1) (1996): 1–39.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Di Maio, M.C., Zanardo, A. A Gabbay-Rule Free Axiomatization of T×W Validity. Journal of Philosophical Logic 27, 435–487 (1998). https://doi.org/10.1023/A:1004284420809
Issue Date:
DOI: https://doi.org/10.1023/A:1004284420809