Author:
Lodaya Kamal,Sreejith A V
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Baziramwabo, A., McKenzie, P., Thérien, D.: Modular temporal logic. In: Proc. 14th LICS, p. 344. IEEE, Los Alamitos (1999)
2. Emerson, E.A., Clarke Jr., E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comp. Program. 2, 241–266 (1982)
3. Etessami, K., Vardi, M.Y., Wilke, T.: First-order logic with two variables and unary temporal logic. Inf. Comput. 179(2), 279–295 (2002)
4. Fine, K.: Propositional quantifiers in modal logic. Theoria 36, 336–346 (1970)
5. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comp. Syst. Sci. 18(2), 194–211 (1979)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献