Combining Temporal Logic Systems

Notre Dame Journal of Formal Logic

Volumn 37, Issue 2, 1996, Pages 204-232

  Finger, Marcelo ^a   Gabbay, Dov ^b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84958987237     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1040046087     Document Type: Article

References (23)

1. Aqvist, L., “A conjectured axiomatization of two-dimensional Reichenbachian tense logic,” Journal of Philosophical Logic, vol. 8 (1979), pp. 1-45.
2. Büchi, J. R., “On a decision method in restricted second order arithmetic,” pp. 1-11 in Logic, Methodology, and Philosophy of Science: Proceedings of the 1960 International Congress, Stanford University Press, Stanford, 1962.
3. Burgess, J. P., and Y. Gurevich, “The decision problem for linear logic,” Notre Dame Journal of Formal Logic, vol. 26 (1985), pp. 566-582.
4. Burgess, J. P., “Axioms for tense logic I: ‘Since’ and ‘Until’,” Notre Dame Journal of Formal Logic, vol. 23 (1982), pp. 367-374.
5. Burgess, J. P., “Basic tense logic,” pp. 89-133 in Handbook of Philosophical Logic, volume II, edited by D. Gabbay andF. Guenthner, Reidel, Dordrecht, 1984.
6. Finger, M., and D. M. Gabbay. “Adding a Temporal Dimension to a Logic System,” Journal of Logic, Language and Information, vol. 1 (1992), pp. 203-233.
7. Finger, M., “Handling database updates in two-dimensional temporal logic,” Journal of Applied Non-Classical Logic, vol. 2 (1992), pp. 201-224.
8. Finger, M., Changing the Past: Database Applications of Two-dimensional Temporal Logics, Ph.D. Thesis, Imperial College, Department of Computing, February, 1994. 1.3,6, 6,9.1.
9. Gabbay, D. M., “An irreflexivity lemma,” pp. 67-89 in Aspects of Philosophical Logic, edited by U. Monnich, Reidel, Dordrecht, 1981.
10. Gabbay, D. M., “Expressive functional completeness intense logic,” pp. 91-117 in Aspects of Philosophical Logic, edited by U. Monnich, Reidel, Dordrecht, 1981.
11. Gabbay, D. M., Fibred semantics and the weaving of logics — Part 1: Modal and intuitionistic logics, Part 2: Fibring non-monotonic logics, Part 3: How to make your logic fuzzy. Lectures given at Logic Colloquim 1992, Vezprém, Hungary 1992. A version of the notes is published as a Technical Report by the University of Stuttgart, Sonder-forschungereich 340, Azenbergstr 12, 70174, Stuttgart, Germany, No. 36, 1993. Part 1 is forthcoming in The Journal of Symbolic Logic. Part 2 is forthcoming in Logic Colloquium 92.
12. Gabbay, D. M., Labelled Deductive Systems: Principles and Applications. Volume 1: Basic Principles, forthcoming from Oxford University Press. 1.
13. Gabbay, D. M., I. M. Hodkinson, and M. A. Reynolds, Temporal Logic: Mathematical Foundations and Computational Aspects, Oxford University Press, Oxford, 1994.
14. Halpern, J. Y., and Y. Shoham, “Apropositional modal logic of time intervals,” pp. 279-292 in Proceedings of the Symposium on Logics in Computer Science, LICS86, Washington, 1986. 6, 8.
15. Kamp, H., “Formal properties of now,” Theoria, vol. 35 (1971), pp. 227-273.
16. Kracht, M., and F. Wolter, “Properties of independently axiomatizable bimodal logics,” The Journal of Symbolic Logic, vol. 56 (1991), pp. 1469-1485.
17. Rabin, M. O., “Decidability of second order theories and automata on infinite trees,” pp. 595-629 in Transactions of the American Mathematical society, vol. 141, American Mathematical Society, Providence, 1969.
18. Reynolds, M. A., “An axiomatisation for until and since over the reals without the IRR rule,” Studia Logica, vol. 51 (1992), pp. 165-194.
19. Segerberg, K., “Two-dimensional modal logic,” Journal of Philosophical Logic, vol. 2 (1973), pp. 77-96.
20. Spaan, E., Complexity of Modal Logics, Ph.D. Thesis, Free University of Amsterdam, 1993.
21. Thomason, S. K., “Independent propositional modal logics,” Studia Logica, vol. 39 (1980), pp. 143-144.
22. Venema, Y., “Expressiveness and completeness of an interval tense logic,” Notre Dame Journal of Formal Logic, vol. 31 (1990), pp. 529-547.
23. Xu, M., “On some U, 5-tense logics,” Journal of Philosophical Logic, vol. 17 (1988), pp. 181-202.