Publisher
Springer Nature Switzerland
Reference32 articles.
1. Bayart, A.: Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et Anal. (N.S.) 2(6/7), 99–121 (1959)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Bentzen,2021
3. Berghofer, S.: First-Order Logic According to Fitting. Archive of Formal Proofs (2007). https://isa-afp.org/entries/FOL-Fitting.html
4. Blanchette, J.C.: Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk). In: Mahboubi, A., Myreen, M.O. (eds.) Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, pp. 1–13. ACM (2019)
5. Blanchette, J.C., Popescu, A., Traytel, D.: Soundness and completeness proofs by coinductive methods. J. Autom. Reason. 58(1), 149–179 (2017)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献