Author:
Mohammadi Hamzeh,Aghaei Mojtaba
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference27 articles.
1. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds.) Logic: From Foundations to Applications. Clarendon Press, Oxford (1996)
2. Bednarska, K., Indrzejczak, A.: Hypersequent calculi for S5: the methods of cut elimination. Log. Log. Philos. 24, 277–311 (2015). https://doi.org/10.12775/LLP.2015.018
3. Belnap, N.D.: Display logic. J. Philos. Log. 11(4), 375–417 (1982). https://doi.org/10.1007/BF00284976
4. Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
5. Braüner, T.: A cut-free Gentzen formulation of the modal logic S5. Log. J. IGPL 8(5), 629–643 (2000). https://doi.org/10.1093/jigpal/8.5.629
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献