Author:
Jipsen Peter,Litak Tadeusz
Publisher
Springer International Publishing
Reference149 articles.
1. Andréka, H., Kurucz, Á., Németi, I., Sain, I., & Simon, A. (1996). Causes and remedies for undecidability in arrow logics and in multi-modal logics. In Arrow logic and multi-modal logic (pp. 63–100). Study logic, language and information. CSLI Publications.
2. Armeín, P. A., & Pym, D. J. (2001). Bunched logic programming. In Proceedings of IJCAR (Vol. 2083, pp. 289–304). LNCS. Springer.
3. Belardinelli, F., Jipsen, P., & Ono, H. (2004). Algebraic aspects of cut elimination. Studia Logica, 77(2), 209–240.
4. Belnap, N. D., Jr. (1982). Display logic. Journal of Philosophical Logic, 11(4), 375–417.
5. Berdine, J., Calcagno, C., & O’Hearn, P. W. (2005). A decidable fragment of separation logic. In Proceeding of FSTTCS (pp. 97–109).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献