Publisher
Springer International Publishing
Reference32 articles.
1. Alenda, R., Olivetti, N., Pozzato, G.L.: Nested sequent calculi for normal conditional logics. J. Log. Comput. 26(1), 7–50 (2013). https://doi.org/10.1093/logcom/ext034
2. Becker, B., Posegga, J.: leanTAP: lean tableau-based deduction. J. Autom. Reason. 15, 339–358 (1995). https://doi.org/10.1007/BF00881804
3. Benzmüller, C., Farjami, A., Meder, P., Parent, X.: I/O logics in HOL. J. Appl. Logics 6(5), 715–754 (2019)
4. Bonatti, P.A., Olivetti, N.: Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. 3, 226–278 (2002)
5. Chellas, B.F.: Modal Logic. Cambridge University Press, Cambridge (1980)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献