Bashmakov, Stepan I.; Zvereva, Tatyana Yu. Unification and finite model property for linear step-like temporal multi-agent logic with the universal modality. (English) Zbl 07811396 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 3, 345-361 (2022). MSC: 03B44 03B42 03A05 03B45 03B70 03H05 PDFBibTeX XMLCite \textit{S. I. Bashmakov} and \textit{T. Yu. Zvereva}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 3, 345--361 (2022; Zbl 07811396) Full Text: DOI
Balbiani, Philippe; Gencer, Çiğdem; Rostamigiv, Maryam; Tinchev, Tinko About the unification type of \(\mathbf{K}+\square \square \bot\). (English) Zbl 07517438 Ann. Math. Artif. Intell. 90, No. 5, 481-497 (2022). MSC: 03B45 03B70 68T27 PDFBibTeX XMLCite \textit{P. Balbiani} et al., Ann. Math. Artif. Intell. 90, No. 5, 481--497 (2022; Zbl 07517438) Full Text: DOI
Dzik, Wojciech; Kost, Sławomir; Wojtylak, Piotr Finitary unification in locally tabular modal logics characterized. (English) Zbl 07483254 Ann. Pure Appl. Logic 173, No. 4, Article ID 103072, 39 p. (2022). MSC: 03B45 68T27 03B55 06E25 06D20 PDFBibTeX XMLCite \textit{W. Dzik} et al., Ann. Pure Appl. Logic 173, No. 4, Article ID 103072, 39 p. (2022; Zbl 07483254) Full Text: DOI
Bashmakov, Stepan I. Unification in pretabular extensions of S4. (English) Zbl 1491.03014 Log. Univers. 15, No. 3, 381-397 (2021). Reviewer: Alex Citkin (Warren) MSC: 03B45 03B22 03B47 03E75 PDFBibTeX XMLCite \textit{S. I. Bashmakov}, Log. Univers. 15, No. 3, 381--397 (2021; Zbl 1491.03014) Full Text: DOI arXiv
Bashmakov, Stepan I. Unification in linear modal logic on non-transitive time with the universal modality. (English) Zbl 07325382 J. Sib. Fed. Univ., Math. Phys. 11, No. 1, 3-9 (2018). MSC: 03B45 03B35 03B20 03B44 PDFBibTeX XMLCite \textit{S. I. Bashmakov}, J. Sib. Fed. Univ., Math. Phys. 11, No. 1, 3--9 (2018; Zbl 07325382) Full Text: DOI MNR
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