메뉴 건너뛰기




Volumn 171, Issue 2, 2001, Pages 306-332

An infinite hierarchy of temporal logics over branching time

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; HIERARCHICAL SYSTEMS; TREES (MATHEMATICS);

EID: 0035895140     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2001.2970     Document Type: Article
Times cited : (4)

References (35)
  • 2
    • 85037030721 scopus 로고
    • Design and verification of synchronous skeletons using branching time temporal logic
    • Springer-Verlag, Berlin/New York
    • Clarke, E. M., and Emerson, E. A. (1981), "Design and Verification of Synchronous Skeletons Using Branching Time Temporal Logic," Lecture Notes in Computer Science, Vol. 131, pp. 52-71, Springer-Verlag, Berlin/New York.
    • (1981) Lecture Notes in Computer Science , vol.131 , pp. 52-71
    • Clarke, E.M.1    Emerson, E.A.2
  • 5
    • 0000918436 scopus 로고
    • An application of games to the completeness problem for formalized theories
    • Ehrenfeucht, A. (1961), An application of games to the completeness problem for formalized theories. Fund. Math. 49, 129-141.
    • (1961) Fund. Math. , vol.49 , pp. 129-141
    • Ehrenfeucht, A.1
  • 6
    • 84949208566 scopus 로고
    • Characterizing correctness properties of parallel programs using fixpoints
    • "Proc. 7th Coll. Automata. Languages and Programming (ICALP'80), Noordwijkerhout, NL, July 1980," Springer-Verlag, Berlin
    • Emerson, E. A., and Clarke, E. M. (1980), Characterizing correctness properties of parallel programs using fixpoints, in "Proc. 7th Coll. Automata. Languages and Programming (ICALP'80), Noordwijkerhout, NL, July 1980," Lecture Notes in Computer Science, Vol. 85, pp. 169-181, Springer-Verlag, Berlin.
    • (1980) Lecture Notes in Computer Science , vol.85 , pp. 169-181
    • Emerson, E.A.1    Clarke, E.M.2
  • 7
    • 0001449325 scopus 로고
    • Temporal and modal logic
    • (J. van Leeuwen, Ed.), Elsevier, Amsterdam
    • Emerson, E. A. (1990), Temporal and modal logic, in "Handbook of Theoretical Computer Science" (J. van Leeuwen, Ed.), Vol. B. Elsevier, Amsterdam.
    • (1990) Handbook of Theoretical Computer Science , vol.B
    • Emerson, E.A.1
  • 8
    • 84947707044 scopus 로고    scopus 로고
    • Automated temporal reasoning about reactive systems
    • "Logics for Concurrency: Structure versus Automata" (F. Moller and G. Birtwistle, Eds.), Springer-Verlag, Berlin
    • Emerson, E. A. (1996), Automated temporal reasoning about reactive systems, in "Logics for Concurrency: Structure versus Automata" (F. Moller and G. Birtwistle, Eds.), Lecture Notes in Computer Science, Vol. 1043, pp. 41-101, Springer-Verlag, Berlin.
    • (1996) Lecture Notes in Computer Science , vol.1043 , pp. 41-101
    • Emerson, E.A.1
  • 9
    • 85027646065 scopus 로고
    • Decision procedures and expressiveness in the temporal logic of branching time
    • Assoc. Comput. Mach., New York
    • Emerson, E. A., and Halpern, J. Y. (1982), Decision procedures and expressiveness in the temporal logic of branching time, in "Proceedings of the 14th Annual ACM Symposium of Theory of Computing," pp. 169-180, Assoc. Comput. Mach., New York.
    • (1982) Proceedings of the 14th Annual ACM Symposium of Theory of Computing , pp. 169-180
    • Emerson, E.A.1    Halpern, J.Y.2
  • 10
    • 0022514018 scopus 로고
    • 'Sometimes' and 'not never' revisited: On branching versus linear time temporal logics
    • Emerson, E. A., and Halpern, J. Y. (1986). 'Sometimes' and 'not never' revisited: On branching versus linear time temporal logics, J. Assoc. Comput. Mach. 33, 151-178.
    • (1986) J. Assoc. Comput. Mach. , vol.33 , pp. 151-178
    • Emerson, E.A.1    Halpern, J.Y.2
  • 15
    • 0000709230 scopus 로고
    • The decision problem for branching time logic
    • Gurevich, Y., and Shelah, S. (1985), The decision problem for branching time logic, J. Symbolic Logic 50, 668-681.
    • (1985) J. Symbolic Logic , vol.50 , pp. 668-681
    • Gurevich, Y.1    Shelah, S.2
  • 16
    • 0001255444 scopus 로고
    • Infinite games with perfect information
    • Gale, D., and Stewart, F. (1953), Infinite games with perfect information, Ann. Math. Stud. 28, 245-266.
    • (1953) Ann. Math. Stud. , vol.28 , pp. 245-266
    • Gale, D.1    Stewart, F.2
  • 17
    • 84968395752 scopus 로고
    • Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree
    • "Proceedings of ICALP'87: International Colloquium on Automata. Languages and Programming," Springer-Verlag, Berlin
    • Hafer, T., and Thomas, W. (1987), Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree, in "Proceedings of ICALP'87: International Colloquium on Automata. Languages and Programming," Lecture Notes in Computer Science, Vol. 267. pp. 269-279, Springer-Verlag, Berlin.
    • (1987) Lecture Notes in Computer Science , vol.267 , pp. 269-279
    • Hafer, T.1    Thomas, W.2
  • 18
    • 84956863045 scopus 로고    scopus 로고
    • Quantitative temporal logic
    • "Computer Science Logic 1999," Springer-Verlag, Berlin
    • Hirshfeld, Y., and Rabinovich. A. (1999), Quantitative temporal logic, in "Computer Science Logic 1999," Lecture Notes in Computer Science, Vol. 1683, pp. 172-187, Springer-Verlag, Berlin.
    • (1999) Lecture Notes in Computer Science , vol.1683 , pp. 172-187
    • Hirshfeld, Y.1    Rabinovich, A.2
  • 20
    • 0003944612 scopus 로고    scopus 로고
    • Cambridge Univ. Press, Cambridge, UK
    • Hodges, W. (1997), "A Shorter Model Theory," Cambridge Univ. Press, Cambridge, UK.
    • (1997) A Shorter Model Theory
    • Hodges, W.1
  • 22
    • 84948963145 scopus 로고    scopus 로고
    • On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
    • "Proceedings of CONCUR'96: International Conference on Concurrency Theory," Springer-Verlag, Berlin
    • Janin, D., and Walukiewicz, I. (1996), On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic, in "Proceedings of CONCUR'96: International Conference on Concurrency Theory," Lecture Notes in Computer Science, Vol. 1119, pp. 263-277, Springer-Verlag, Berlin.
    • (1996) Lecture Notes in Computer Science , vol.1119 , pp. 263-277
    • Janin, D.1    Walukiewicz, I.2
  • 29
    • 84945924340 scopus 로고
    • Concurrency and automata on infinite sequences
    • Springer-Verlag, Berlin/New York
    • Park, D. M. R. (1981), "Concurrency and Automata on Infinite Sequences," Lecture Notes in Computer Science, Vol. 104, pp. 168-183, Springer-Verlag, Berlin/New York
    • (1981) Lecture Notes in Computer Science , vol.104 , pp. 168-183
    • Park, D.M.R.1
  • 31
    • 84968501436 scopus 로고
    • Decidability of second order theories and automata on infinite trees
    • Rabin, M. O. (1969), Decidability of second order theories and automata on infinite trees, in Trans. Amer. Math. Soc. 141, 1-35.
    • (1969) Trans. Amer. Math. Soc. , vol.141 , pp. 1-35
    • Rabin, M.O.1
  • 32
    • 0013360768 scopus 로고    scopus 로고
    • Why so many temporal logics climb up the trees?
    • "Proceedings of MFCS 2000," Springer-Verlag, Berlin
    • Rabinovich, A., and Maoz, S. (2000), Why so many temporal logics climb up the trees? in "Proceedings of MFCS 2000," Lecture Notes in Computer Science, Vol. 1893, Springer-Verlag, Berlin.
    • (2000) Lecture Notes in Computer Science , vol.1893
    • Rabinovich, A.1    Maoz, S.2
  • 33
    • 84874753181 scopus 로고    scopus 로고
    • Research Report LSV-00-8, Lab. Specification and Verification, ENS de Cachan, Cachan, France
    • +," Research Report LSV-00-8, Lab. Specification and Verification, ENS de Cachan, Cachan, France.
    • (2000) +
    • Rabinovich, A.1    Schnoebelen, Ph.2
  • 35
    • 85034592409 scopus 로고
    • Yet another process logic
    • "Logics of Programs," Springer-Verlag, Berlin
    • Vardi, M., and Wolper, P. (1984), Yet another process logic, in "Logics of Programs," Lecture Notes in Computer Science, Vol. 164, pp. 501-512, Springer-Verlag, Berlin.
    • (1984) Lecture Notes in Computer Science , vol.164 , pp. 501-512
    • Vardi, M.1    Wolper, P.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.