Abstract
The paper deals with the problem of axiomatizing a system τ1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 (“immediate successor”) and -1 (“immediate predecessor”). τ1 is like the Segerberg-Sundholm system W1 in working with so-called infinitary inference rules; on the other hand, it differs from W1 with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a “now” operator, and, most importantly, with respect to (iii) the presence in τ of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of τ1.
Similar content being viewed by others
References
Åqvist, L. (1966). “Next” and “Ought”. Alternative Foundations for von Wright's Tense-Logic, with an Application to Deontic Logic, Logique et Analyse 9, 231–251.
Åqvist, L. (1973). Modal Logic with Subjunctive Conditionals and Dispositional Predicates, Journal of Philosophical Logic, 2, 1–76.
Åqvist, L. (1976). Formal Semantics for Verb Tenses an Analyzed by Reichenbach, in T. A. van Dijk (ed.), Pragmatics of Language and Literature. Amsterdam, North-Holland, pp. 229–236.
Åqvist, L. (1979). A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic, Journal of Philosophical Logic 8, 1–45.
Åqvist, L. and Hoepelman, J. (1981). Some Theorems About a “Tree” System of Deontic Tense Logic, in R. Hilpinen (ed.), New Studies in Deontic Logic. Dordrecht, Reidel, pp. 187–221.
Åqvist, L. and Mullock, Ph. (1989). Causing Harm. A Logico-Legal Study. Berlin, New York, W. de Gruyter, 1989.
Bull, R.A. and Segerberg, K. (1984). Basic Modal Logic, in D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic. Dordrecht, Reidel, pp. 1–88.
Chellas, B.F. (1969). The Logical Form of Imperatives. Standford, Perry Lane Press.
Clifford, J.E. (1966). Tense Logic and the Logic of Change, Logique et Analyse 9, 219–230.
Gabbay, D.M. (1981). An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames, in U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht, Reidel, pp. 67–89.
Kamp, J.A.W. (1971). Formal Properties of “Now”, Theoria 37, 227–273.
Lewis, D.K. (1970). Anselm and Actuality, Noús 4, 175–188.
Montague, R. and Henkin, L. (1956). On the Definition of ‘Formal Deduction’, Journal of Symbolic Logic 21, 129–136.
Prawitz, D. (1965). Natural Deduction. A Proof-Theoretical Study. Stockholm, Almqvist and Wiksell.
Prior, A.N. (1967). Past, Present and Future, Oxford, Clarendon Press.
Prior, A.N. (1968). “Now”, Noûs 2, 101–119.
Scott, D. (1965), see Prior (1967).
Segerberg, K. (1967). On the Logic of “To-morrow”, Theoria 33, 45–52.
Segerberg, K. (1971). An Essay in Classical Modal Logic. Uppsala, Department of Philosophy, Vol. 13.
Segerberg, K. (1973). Two-Dimensional Modal Logic, Journal of Philosophical Logic 2, 77–96.
Segerberg, K. (1989). Von Wright's Tense Logic, in P.A. Schilpp and L.E. Hahn (eds), The Philosophy of Georg Henrik von Wright (The Library of Living Philosophers, vol. 19). La Salle, I11. Open Court, 1989, pp. 603–635. (Written in 1974.)
Stirling, C. (1991). Modal and Temporal Logics, in S. Abramsky, D. Gabbay and T. Maibaum (eds), Handbook of Logic in Computer Science, to appear.
Sundholm, G. (1977). A Completeness Proof for an Infinitary Tense-Logic, Theoria 43, 47–51.
Sundholm, G. (1983). Systems of Deduction, in D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. 1: Elements of Classical Logic. Dordrecht, Reidel, pp. 133–188.
Suppes, P. (1957). Introduction to Logic. Princeton, Van Nostrand.
Thomason, R.H. (1970). Some Completeness Results for Modal Predicate Calculi, in K. Lambert (ed.), Philosophical Problems in Logic. Dordrecht, Reidel, pp. 56–76.
Thomason, R.H. (1984). Combinations of Tense and Modality, in D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic. Dordrecht, Reidel, pp. 135–165.
von Wright, G.H. (1965). “And Next”, Acta Philosophica Fennica, Fasc., 18, 293–304.
von Wright, G.H. (1968). “Always”, Theoria 34, 208–221.
Zanardo, A. (1985). A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas, Journal of Philosophical Logic 14, 447–468.
Zanardo, A. (1991). A Complete Deductive-System for Since-Until Branching-Time Logic, Journal of Philosophical Logic 20, 131–148.
Zanardo, A. and Carmo, J. (forthcoming). Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL*, to appear in the Journal of Logic and Computation.
Author information
Authors and Affiliations
Additional information
The present contribution reports research done under the auspices of the Swedish Council for Research in the Humanities and the Social Sciences (HSFR), project “On the Legal Concepts of Rights and Duties: an Analysis Based on Deontic and Causal Conditional Logic”. I wish to thank the anonymous referee for his/her extremely patient and accurate revision work, and Krister Segerberg for his helpful suggestions.
Rights and permissions
About this article
Cite this article
Åqvist, L. Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization. Journal of Philosophical Logic 25, 45–100 (1996). https://doi.org/10.1007/BF00357842
Issue Date:
DOI: https://doi.org/10.1007/BF00357842