Author:
Halpern Joseph Y.,Reif John H.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Temporal Logics in Computer Science;CAM T THEOR;2016
2. A Cookbook for Temporal Conceptual Data Modelling with Description Logics;ACM Transactions on Computational Logic;2014-07-08
3. From Löwenheim to PSL and SVA;Lecture Notes in Computer Science;2014
4. The Complexity of Clausal Fragments of LTL;Logic for Programming, Artificial Intelligence, and Reasoning;2013
5. From Philosophical to Industrial Logics;Logic and Its Applications;2008