Author:
Caleiro Carlos,Viganò Luca,Volpe Marco
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference29 articles.
1. Burgess J.P: Logic and time. J. Symb. Log. 44(4), 566–582 (1979)
2. Burgess J.P: Decidability for branching time. Stud. Log. 39, 203–218 (1980)
3. Burgess J.P: Axioms for tense logic. I. “Since” and “until”. Notre Dame J. Form. Log. 23(4), 367–374 (1982)
4. Di Maio, M.C., Zanardo, A.: Synchronized Histories in Prior-Thomason Representation of Branching Time. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL ’94, LNCS, vol. 827, pp. 265–282. Springer, Berlin, Heidelberg (1994)
5. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press, Cambridge-Massachusetts, London-England (1995)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献