Projective unification in transitive modal logics. - Slawomir Kost (Log. J. IGPL, 2018)

Frames for fusions of modal logics. - Slawomir Kost (J. Appl. Non Class. Logics, 2018)

Asymptotic comparison of the implicative fragments of certain fuzzy logics. - Slawomir Kost; Zofia Kostrzycka (FUZZ-IEEE, 2022)

Finitary unification in locally tabular modal logics characterized. - Wojciech Dzik; Slawomir Kost; Piotr Wojtylak (Ann. Pure Appl. Log., 2022)

Unification types and union splittings in intermediate logics. - Wojciech Dzik; Slawomir Kost; Piotr Wojtylak (Ann. Pure Appl. Log., 2025)

FILO - automated unification in ℱℒ0. - Barbara Morawska 003; Dariusz Marzec; Slawomir Kost; Michal Henne (CoRR, 2025)