Author:
Ciabattoni Agata,Lyon Tim,Ramanayake Revantha
Publisher
Springer International Publishing
Reference22 articles.
1. Belnap Jr., N.D.: Display logic. J. Philos. Logic 11(4), 375–417 (1982)
2. Cambridge Tracts in Theoretical Computer Science;P Blackburn,2001
3. Brünnler. K.: Deep sequent systems for modal logic. In: Advances in Modal Logic, vol. 6, pp. 107–119. College Publications, London (2006)
4. Chagrov, A., Zakharyashchev, M.: Modal companions of intermediate propositional logics. Stud. Logica. 51(1), 49–82 (1992)
5. Ciabattoni, A., Ramanayake, R.: Power and limits of structural display rules. ACM Trans. Comput. Logic 17(3), 1–39 (2016)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献