Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference14 articles.
1. Artëmov, S.N., Protopopescu, T.: Intuitionistic epistemic logic. Rev. Symb. Log. 9(2), 266–298 (2016). https://doi.org/10.1017/S1755020315000374
2. Brogi, C.P.: Curry-howard-lambek correspondence for intuitionistic belief. CoRR (2020). arXiv:2006.02417
3. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)
4. Ferrari, M., Fiorentini, C., Fiorino, G.: Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models. J. Automated Reason. 51(2), 129–149 (2013). https://doi.org/10.1007/s10817-012-9252-7
5. Ferrari, M., Fiorentini, C., Fiorino, G.: An evaluation-driven decision procedure for G3i. ACM Trans. Comput. Logic 6(1), 8:1-8:37 (2015)