Axiomatising first-order temporal logic: until and since over linear time

Studia Logica

Volumn 57, Issue 2-3, 1996, Pages 279-302

  Reynolds, Mark ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Axiomatization; First order temporal modal logics; Temporal logic

Indexed keywords

EID: 0042288433     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/BF00370836     Document Type: Article

References (18)

1. ANDRéKA, H., V. GORANKO, S. MIKULäS, I. NéMETI, and I. SAIN, 1995, 'Effective temporal logics of programs', In [3].
2. BELL, J., and M. MACHOVER, 1977, A course in Mathematical Logic, North-Holland.
3. BOLC, L., and A. SZALAS, 1995, editors. Time and Logic, UCL Press, London.
4. BURGESS, J. P., 1982, 'Axioms for tense logic I: 'since' and 'until" Notre Dame J. Formal Logic, 23, 367-374.
5. GABBAY, D., I. HODKINSON, and M. REYNOLDS, 1994, Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 1, Oxford University Press.
6. GABBAY, D. M., 1975, 'Model theory for tense logics', Ann. Math. Logic 8, 185-235.
7. GABBAY, D. M., and I. M. HODKINSON, 1990, 'An axiomatisation of the temporal logic with until and since over the real numbers', Journal of Logic and Computation 1, 229-260.
8. GABBAY, D. M., A. PNUELI, S. SHELAH, and J. STAVI, 1980, 'On the temporal analysis of fairness', In 7th ACM Symposium on Principles of Programming Languages, Las Vegas, 163-173.
9. GARSON, J. W., 1984, 'Quantification in modal logic', In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, D. Reidel, Dordrecht.
10. HODGES, W., 1984, 'Elementary predicate logic', In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, D. Reidel, Dordrecht.
11. MANNA, Z., and A. PNUELI, 1992, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, New York.
12. REYNOLDS, M., 1992, 'An axiomatization for Until and Since over the reals without the IRR rule', Studia Logica 51, 165-194.
13. SZALAS, A., 1987, 'Arithmetical axiomatization of first-order temporal logic', Information Processing Letters 26.
14. SZALAS, A., 1987, 'A complete axiomatic characterization of first-order temporal logic of linear time', Theoretical Computer Science 54, 199-214.
15. VAN BENTHEM, J. F. A. K., 1982, The logic of time, Reidel, Dordrecht.
16. VENEMA, Y., 1991, 'Completeness via completeness', In M. de Rijke, editor, Colloquium on Modal Logic, 1991, ITLI-Network Publication, Instit. for Lang., Logic and Information, University of Amsterdam.
17. Xu, M., 1988, 'On some U, 5-tense logics', J. of Philosophical Logic 17, 181-202.
18. ZANARDO, A., 1991, 'A complete deductive system for since-until branching time logic', J. Philosophical Logic.