A complete axiomatization of interval temporal logic with infinite time
Publisher
IEEE Comput. Soc
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction;Communications in Computer and Information Science;2017
2. Convolution as a Unifying Concept;ACM Transactions on Computational Logic;2016-07-22
3. Data refinement for true concurrency;Electronic Proceedings in Theoretical Computer Science;2013-05-24
4. An Improved Decision Procedure for Propositional Projection Temporal Logic;Formal Methods and Software Engineering;2010
5. A Proof System for Projection Temporal Logic;Computer and Information Science 2009;2009