Hierarchies of modal and temporal logics with reference pointers

Journal of Logic, Language and Information

Volumn 5, Issue 1, 1996, Pages 1-24

  Goranko, Valentin ^a  

^a UNIVERSITY OF JOHANNESBURG   (South Africa)

Author keywords

Axiomatization; Completeness; Expressiveness; Modal and temporal logics; Reference pointers

Indexed keywords

EID: 33845223252     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1007/BF00215625     Document Type: Article

References (21)

1. van Benthem J.F.A.K., 1983, The Logic of Time, Dordrecht: Reidel.
2. Blackburn P., 1989, Nominal Tense Logic, Dissertation, Centre for Cognitive Science, University of Edinburgh.
3. Bull R., 1970, "An approach to tense logic," Theoria 36(3), 282-300.
4. Burgess J., 1982, "Axioms for tense logic I: "since" and "until"," Notre Dame Journal of Formal Logic 23(2), 367-374.
5. Burgess J., 1984, "Basic tense logic," pp. 89-133 in: Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, eds., Vol. II, Dordrecht: Reidel.
6. Gabbay, D., 1981a, "An irreflexivity lemma with applications to axiomatizations of conditions on tense frames, pp. 67-89 in: Aspects of Philosophical Logic, U. Monnich, ed., Dordrecht: Reidel.
7. Gabbay, D., 1981b, "Expressive functional completeness in tense logic," pp. 91-117, in: Aspects of Philosophical Logic, U. Monnich, ed., Dordrecht: Reidel.
8. Gabbay, D. and Hodkinson, I., 1990, "An axiomatization of the temporal logic with since and until over the real numbers," Journal of Logic and Computation 1, 229-259.
9. Gargov, G. and Goranko, V., 1993, "Modal logic with names," Journal of Philosophical Logic 22(6), 607-636.
10. Goldblatt, R.I., 1982, Axiomatizing the Logic of Computer Programming, LNCS Vol. 30, Berlin: Springer.
11. Goldblatt, R.I., 1987, Logic of Time and Computation, CSLI Lecture Notes, No. 7.
12. Harel, D., 1983, "Recurring dominoes," pp. 177-194 in: Foundations of Computing Theory, LNCS Vol. 158, Berlin: Springer.
13. Kamp, J.A.W., 1971, "Formal properties of "now"," Theoria 37, 227-273.
14. Prior, A., 1967, Past, Present, and Future, Oxford: Clarendon Press.
15. Passy, S. and Tinchev, T., 1985, "Quantifiers in combinatory PDL: Completeness, definability, incompleteness," pp. 512-519 in: proc. Fundamentals of Computation Theory, L. Budach, ed., LNCS Vol. 199, Berlin: Springer.
16. Passy, S. and Tinchev, T., 1991, "An essay in combinatory dynamic logic," Information and Computation 93(2), 263-332.
17. Richards, B., Bethke, I., van der Does, J., and Oberlander, J., 1989, Temporal Representation and Inference, London: Academic Press.
18. de Rijke, M., 1992, "The modal theory of inequality," Journal of Symbolic Logic 57(2), 566-584.
19. de Rijke, M., 1993, Extending Modal Logic, ILLC Dissertation Series 1993-4, Amsterdam.
20. Venema, Y., 1993, "Derivation rules as anti-axioms in modal logic," Journal of Symbolic Logic 58(3), 1003-1034.
21. Vlach, F., Now and Then: A Formal Study in the Logic of Tense Anaphora, Dissertation, UCLA, 1973.