Author:
Alonderis R.,Pliuškevičius R.,Pliuškevičienė A.,Giedra H.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference28 articles.
1. Afshari, B., Leigh, G.E.: Cut-free completeness for modal mu-calculus. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Reykjavik, Iceland, 1–12 (2017)
2. Alonderis, R., Giedra, H.: A proof-search system for the logic of likelihood. Log. J. IGPL (2019). https://doi.org/10.1093/jigpal/jzz022
3. Baaz, M., Leitsch, A., Zach, R.: Completeness of a first-order temporal logic with time gaps. Theor. Comput. Sci. 160, 241–270 (1996)
4. Brünnler, K., Steiner, D.: Finitization for propositional linear time logic (Unpublished, available on the Web) (2006)
5. Brünnler, K., Lange, M.: Cut-free sequent systems for temporal logic. J. Log. Algebraic Program. 76(2), 216–225 (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献