Combinations of tense and modality for predicate logic

Journal of Philosophical Logic

Volumn 28, Issue 4, 1999, Pages 329-369

  Wölfl, Stefan ^a  

^a UNIVERSITY OF REGENSBURG   (Germany)

Author keywords

(strong) completeness; Kamp semantics; Modality; Tense; T w semantics

Indexed keywords

EID: 0001276283     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/a:1004359325754     Document Type: Article

References (16)

1. Chang, C. C. and Keisler, H. J.: Model Theory, North-Holland, Amsterdam, 1973.
2. Chellas, B.: "Time and Modality in the Logic of Agency", Studia Logica 51 (1992), 485-517.
3. Di Maio, M. C. and Zanardo, A.: "Synchronized Histories in Prior-Thomason Representation of Branching Time", in: D. M. Gabbay and H. Ohlbach (eds), Proceedings of the First International Conference on Temporal Logic, pp. 265-282, Springer, Berlin, 1994.
4. Ebbinghaus, H.-D., Flum, J. and Thomas, W.: Einführung in die mathematische Logik, Wiss. Buchges, Darmstadt, 1978.
5. Gabbay, D. M.: "An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames", in: Uwe Mönnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, 1981.
6. Gabbay, D. M., Hodkinson, I. and Reynolds, M.: Temporal Logic; Mathematical Foundations and Computational Aspects, vol. I, Clarendon, Oxford, 1994.
7. Gargov, G. and Goranko, V.: "Modal Logic with Names", J. Philos. Logic 22 (1993), 607-636.
8. Hughes, G. E. and Cresswell, M. J.: A New Introduction to Modal Logic, Methuen, London, New York, 1996.
9. Kutschera, F. v.: "T × W-Completeness", J. Philos. Logic 26 (1997), 241-250.
10. Kutschera, F. v.: "Causation", J. Philos. Logic 22 (1993), 563-588.
11. Meixner, U.: Handlung, Zeit, Notwendigkeit, de Gruyter, Berlin, 1987.
12. Thomason, R. H.: "Combinations of Tense and Modality", in: D. M. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, vol. II, Kluwer, Dordrecht, 1984.
13. Zanardo, A.: "Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic", J. Symbolic Logic 61(1) (1996), 1-39.
14. Zanardo, A.: "A Complete Deductive System for Since-Until Branching-Time Logic", J. Philos. Logic 20 (1991), 131-148.
15. Zanardo, A.: "On the Characterizability of the Frames for the Unpreventability of the Present and the Past", Notre Dame J. Formal Logic 27 (1986), 556-564.
16. Zanardo, A.: "A Finite Axiomatization of the Set of Strongly Valid Kampist Frames", J. Philos. Logic 14 (1985), 447-468.