Balbiani, Philippe; Gencer, Çiğdem \(KD\) is nullary. (English) Zbl 1398.03086 J. Appl. Non-Class. Log. 27, No. 3-4, 196-205 (2017). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{Ç. Gencer}, J. Appl. Non-Class. Log. 27, No. 3--4, 196--205 (2017; Zbl 1398.03086) Full Text: DOI
Balbiani, Philippe; Gencer, Çiğdem Unification in epistemic logics. (English) Zbl 1398.03070 J. Appl. Non-Class. Log. 27, No. 1-2, 91-105 (2017). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{Ç. Gencer}, J. Appl. Non-Class. Log. 27, No. 1--2, 91--105 (2017; Zbl 1398.03070) Full Text: DOI Link