Publisher
Springer International Publishing
Reference21 articles.
1. Bentzen, B.: A Henkin-style completeness proof for the modal logic S5. CoRR abs/1910.01697 (2019). https://arxiv.org/abs/1910.01697
2. Berghofer, S.: First-order logic according to Fitting. Archive of Formal Proofs (2007). https://isa-afp.org/entries/FOL-Fitting.html. Formal proof development
3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press (2001). https://doi.org/10.1017/CBO9781107050884
4. Blanchette, J.C., Popescu, A., Traytel, D.: Soundness and completeness proofs by coinductive methods. J. Autom. Reason. 58(1), 149–179 (2017). https://doi.org/10.1007/s10817-016-9391-3
5. Conradie, W., Goranko, V., Vakarelov, D.: Algorithmic correspondence and completeness in modal logic. i. The core algorithm SQEMA. Log. Methods Comput. Sci. 2(1) (2006). https://doi.org/10.2168/LMCS-2(1:5)2006
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献