Publisher
Springer International Publishing
Reference33 articles.
1. Bierman, G.M., de Paiva, V.C.V.: On an intuitionistic modal logic. Stud. Log. Int. J. Symb. Log. 65(3), 383–416 (2000). http://www.jstor.org/stable/20016199
2. Brünnler, K.: Deep sequent systems for modal logic. Arch. Math. Log. 48(6), 551–577 (2009). https://doi.org/10.1007/s00153-009-0137-3
3. Bull, R.A.: Cut elimination for propositional dynamic logic without *. Z. Math. Logik Grundlag. Math. 38(2), 85–100 (1992)
4. Castilho, M.A., del Cerro, L.F., Gasquet, O., Herzig, A.: Modal tableaux with propagation rules and structural rules. Fundam. Inform. 32(3, 4), 281–297 (1997)
5. Lecture Notes in Computer Science;A Ciabattoni,2018
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献