Article PDF
Avoid common mistakes on your manuscript.
REFERENCES
Åqvist, L. (1974): A new approach to the logical theory of actions and causality, in S. Stenlund (ed.), Logical Theory and Semantic Analysis. Essays Dedicated to Stig Kanger on His Fiftieth Birthday, Reidel, Dordrecht, pp. 73-91.
Åqvist, L. (1991): Discrete tense logic with beginning and ending time: An infinite hierarchy of complete axiomatic systems, Logique et Anal. 34 (1991), 359-401.
Åqvist, L. (1996): Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization, J. Philos. Logic 25 (1996), 45-100.
Å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, Reidel, Dordrecht, pp. 187-221.
Åqvist, L. and Mullock, Ph. (1989): Causing Harm: A Logico-Legal Study, de Gruyter, Berlin.
Di Maio, M. C. and Zanardo, A. (1996): A Gabbay-rule free axiomatization of T × W validity, Preprint N. 27, Università degli studi di Padova, Dipartimento di Matematica Pura ed Applicata.
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, Reidel, Dordrecht, pp. 67-89.
Kutschera, F. von (1997): T × W completeness, J. Philos. Logic 26 (1997), 241-250.
Segerberg, K. (1973): Two-dimensional modal logic, J. Philos. Logic 2 (1973), 77-96.
Thomason, R. H. (1984): Combinations of tense and modality, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol.11: Extensions of Classical Logic, Reidel, Dordrecht, pp. 135-165.
Zanardo, A. (1985): A finite axiomatization of the set of strongly valid Ockhamist formulas, J. Philos. Logic 14 (1985), 447-468.
Rights and permissions
About this article
Cite this article
Erratum. Journal of Philosophical Logic 29, 541–542 (2000). https://doi.org/10.1023/A:1026794731711
Issue Date:
DOI: https://doi.org/10.1023/A:1026794731711