Author:
Chen Cheng-Chia,Lin I-Peng
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. A.K. Chandra, D.C. Kozen and L.J. Stockmeyer, Alternation, J. of ACM
28,1981, 114–133.
2. B.F. Chellas, Modal Logic: an Introduction, Cambridge university press, 1980.
3. C.C. Chen, The complexity of decision problems for modal propositional logics, Ph.D. thesis, Department of Computer Science and Information Engineering, National Taiwan University. Taipei, Taiwan, 1993.
4. E.A. Emerson and J.Y. Halpern, Decision procedures and expressiveness in the temporal logic of branching time, J. of Computer and System Science
30, 1985, 1–24.
5. M.J. Fischer and R.E. Ladner, Propositional dynamic logic of regular programs, J. of Computer and System Science
18, 1979, 194–211.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献