Boričić, Marija Sequent calculus for classical logic probabilized. (English) Zbl 1446.03047 Arch. Math. Logic 58, No. 1-2, 119-136 (2019). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B48 03B50 03F03 PDFBibTeX XMLCite \textit{M. Boričić}, Arch. Math. Logic 58, No. 1--2, 119--136 (2019; Zbl 1446.03047) Full Text: DOI
Luppi, C. On the interpolation property of some intuitionistic modal logics. (English) Zbl 0844.03008 Arch. Math. Logic 35, No. 3, 173-189 (1996). MSC: 03B45 03G25 03C40 PDFBibTeX XMLCite \textit{C. Luppi}, Arch. Math. Logic 35, No. 3, 173--189 (1996; Zbl 0844.03008) Full Text: DOI