Balbiani, Philippe A new proof of completeness for a relative modal logic with composition and intersection. (English) Zbl 1032.03012 J. Appl. Non-Class. Log. 11, No. 3-4, 269-280 (2001). MSC: 03B45 03B70 PDFBibTeX XMLCite \textit{P. Balbiani}, J. Appl. Non-Class. Log. 11, No. 3--4, 269--280 (2001; Zbl 1032.03012) Full Text: DOI HAL
Pantović, Jovanka; Tošić, Ratko; Vojvodić, Gradimir Relative completeness with respect to two unary functions. (English) Zbl 0990.08003 Discrete Appl. Math. 113, No. 2-3, 337-342 (2001). MSC: 08A40 03B50 PDFBibTeX XMLCite \textit{J. Pantović} et al., Discrete Appl. Math. 113, No. 2--3, 337--342 (2001; Zbl 0990.08003) Full Text: DOI