Author:
Goranko Valentin,Montanari Angelo,Sciavicco Guido
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Bowman, H., Thompson, S.: A decision procedure and complete axiomatization of finite interval temporal logic with projection. Journal of Logic and Computation 13(2), 195–239 (2003)
2. LNAI;S. Cerrito,1999
3. Chetcuti-Serandio, N., Fariñas del Cerro, L.: A mixed decision method for duration calculus. Journal of Logic and Computation 10, 877–895 (2000)
4. D’Agostino, M., Gabbay, D., Hähnle, R., Posegga, J. (eds.): Handbook of Tableau Methods. Kluwer, Dordrecht (1999)
5. Emerson, E.A.: Temporal and modal logic. Handbook of Theoretical Computer Science B, 996–1072 (1990)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Fuzzy Propositional Logic with Temporal Intervals;Advances in Intelligent Systems and Computing;2017-09-30
2. References;An Introduction to Practical Formal Methods Using Temporal Logic;2011-04-26
3. An Optimal Decision Procedure for Right Propositional Neighborhood Logic;Journal of Automated Reasoning;2006-12-02
4. A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic;Lecture Notes in Computer Science;2005