A Gabbay-rule free axiomatization of T × W validity

Journal of Philosophical Logic

Volumn 27, Issue 5, 1998, Pages 435-487

  Di Maio, Maria Concetta ^a   Zanardo, Alberto ^b  

^a TELECOM ITALIA   (Italy)

^b UNIVERSITY OF PADOVA   (Italy)

Author keywords

Axiomatization; Branching time; Synchronism; Temporal logic

Indexed keywords

EID: 54649083534     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004284420809     Document Type: Article

References (12)

1. 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.
2. Burgess, J.: "Logic and Time", J Sym Log 44 (1979): 556-582.
3. Chellas, B.: "Time and Modality in the Logic of Agency", Studia Logica 51 (1992): 485-517.
4. 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.
6. 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.
7. von Kutschera, F.: "Causation", J Phil Log 22 (1993): 563-588.
8. von Kutschera, F.: "T×W Completeness", J Phil Log 26 (1997): 241-250.
9. Prior, A.: Past, Present and Future, Clarendon, Oxford, 1967.
10. 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.
11. Zanardo, A.: "A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas", J Phil Log 14 (1985): 447-468.
12. Zanardo, A.: "Branching-Time Logic with Quantification over Branches: the Point of View of Modal Logic", J Sym Log 61(1) (1996): 1-39.