Author:
van der Giessen Iris,Jalali Raheleh,Kuznets Roman
Publisher
Springer International Publishing
Reference24 articles.
1. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In Logic: From Foundations to Applications, pp. 1–32. Clarendon Press (1996)
2. Bílková, M.: Interpolation in modal logics. Ph.D. thesis, Charles University (2006). https://dspace.cuni.cz/handle/20.500.11956/15732
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Bílková,2011
4. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001). https://doi.org/10.1017/CBO9781107050884
5. Brünnler, K.: Deep sequent systems for modal logic. Arch. Math. Log. 48, 551–577 (2009). https://doi.org/10.1007/s00153-009-0137-3
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献