Temporal logics with reference pointers and computation tree logics

Journal of Applied Non-Classical Logics

Volumn 10, Issue 3-4, 2000, Pages 221-242

  Goranko, Valentin ^a  

^a UNIVERSITY OF JOHANNESBURG   (South Africa)

Author keywords

Axiomatic system; Completeness; Computation tree logics; Reference pointers; Temporal logics

Indexed keywords

EID: 70349361224     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.2000.10510998     Document Type: Article

References (30)

1. Backofen R., J. Rogers,&K. Vijay-Shanker, A First-order Axiomatization of the Theory of Finite Trees, Journal of Logic, Language and Information, 4, 1995, 5-39.
2. Ben-Ari M., Z. Manna,&A. Pnueli, The Temporal Logic of Branching Time, Proc. 8th ACM Symp. on Prine. of Prog. Lang. Wiliiamsburg, VA, 1981, 164-176;
3. also in: Acta Informatica, 20(3), 1983, 207-226.
4. van Benthem J.F.A.K., The Logic of Time, Reidel, Dordrecht, 2nd ed., 1991.
5. Blackburn P.&J. Seligman, Hybrid Languages, Journal of Logic, Language and Information, 4, 1995, 251-272.
6. Blackburn, Patrick and Miroslava Tzakova. Hybrid Completeness, Logic Journal of the IJPL, 4 (1998), 625-650.
7. Blackburn, Patrick and Miroslava Tzakova. Hybrid Languages and Temporal logic, J. of Logic, Language and Information, to appear.
8. Burgess J., Basic Tense Logic, in:Handbook of Philosophical Logic, D. Gabbay and F. Guenthner (eds.), Reidel, Dordrecht, vol.II, 1984, 89-133.
9. Clarke E.M.&E.A. Emerson, Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic, in: Proc. Workshop on Logics of Programs, LNCS 131, Springer-Verlag, 1981, 52-71.
10. Dam M., CTL and ECTL as Fragments of the modal mu-calculus, Theoretical Computer Science, 126 (1994), pp77-96.
11. Ebbinghaus H.-D., J. Flum, W. Thomas, Mathematical Logic, Springer-Verlag, 2nd ed., 1994.
12. Emerson, E.A., Temporal and Modal Logic, in:Handbook of Theoretical Computer Science, vol. B, J. van Leeuwen (ed.), Elsevier, 1990, pp. 995-1072.
13. Emerson, E.A.,&J.Y. Halpern, "Sometimes" and "Not Never" revisited: on Branching versus Linear Time Temporal Logic, in:Proc. of the 10th Annual Symp. on Principles of Programming Languages, 1983, 127-140;
14. also in Journal of the ACM, 33(1), 151-178.
15. Emerson, E.A.,&A.P. Sistla, Deciding full Branching Time Logic, Information and Control, 61(3), 1984, 175-201. (Pubitemid 15454119)
16. Emerson E. A.&J. Srinivasan, Branching Time Temporal Logic, in:Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, J de Bakker, W.-P. de Roever, G. Rosenberg (eds.), LNCS 354, Springer-Verlag, 1989, 123-172.
17. Gabbay, D., An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames. in:Aspects of Philosophical Logic, U. Monnich (ed.). Reidel, Dordrecht, 1981, 67-89.
18. Gargov G.&V. Goranko, Modal Logic with Names, Journal of Philosophical Logic, 22(6), 1993, 607-636.
19. Goldblatt R.I., Axiomatizing the Logic of Computer Programming, Springer LNCS 130, 1982.
20. Goldblatt R.I., Logic of Time and Computation, CSLI Lecture Notes, No. 7., 1987.
21. Goranko V., Temporal Logic with Reference pointers, in: Temporal Logic, D. Gab bay, II.-J. Ohlbach ( eds.), Lecture Notes in Artificial Intelligence 827, Springer-Verlag, 1994, pp. 133-148.
22. Goranko, V., Hierarchies of Modal and Temporal Logics with Reference Pointers, Journal of Logic, Language and Information, 5, 1996, 1-24.
23. Goranko, V., Trees and Finite Branching, 1999, submitted.
24. Gurevich Y.&S. Shelah, The Decision Problem for Branching Time Logic, Journal of Symbolic Logic, 50(3), 1985, 668-681.
25. Manna Z.,&A. Pnueli, The Anchored Version of the Temporal Framework, in:Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, J. de Bakker, W.-P. de Roever, G. Rosenberg (eds.), LNCS 354, Springer-Verlag, 1989, 201-284.
26. Passy S.&T. Tinchev, An Essay in Combinatory Dynamic Logic, Information and Computation, 93(2), 1991, 263-332.
27. Penczek W., Branching Time and Partial Order in Temporal Logics, in: Time and Logic: a Computational Approach, Univ. College of London, 1995, 179-228.
28. Pnueli A., The Temporal Logic of Programs, in: Proc. 18th Ann. IEEE Symp. on Foundations of Computer Science (1977), 46-57.
29. Prior A., Past, Present, and Future, Clarendon Press, Oxford, 1967.
30. Stirling C., Modal and Temporal Logics, in:Handbook of Logic in Computer Science, val. 2: Computational Structures, S. Abramski, D. Gabbay, T. Maibaum (eds.), Clarendon Press, Oxford, 1992, 478-563.