We stand with Ukraine  

Slawomir Kost

Orcid: 0000-0003-1898-9489

According to our database1, Slawomir Kost authored at least 8 papers between 2018 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
FILO - automated unification in ℱℒ<sub>0</sub>.
[BibTeX]
[DOI]
Barbara Morawska
,
Dariusz Marzec
,
Slawomir Kost
,
Michal Henne
CoRR, February, 2025

Unification types and union splittings in intermediate logics.
[BibTeX]
[DOI]
Wojciech Dzik
,
Slawomir Kost
,
Piotr Wojtylak
Ann. Pure Appl. Log., 2025

FILO: Unification Solver for FL_0 (Extended Abstract).
[BibTeX]
[DOI]
Barbara Morawska
,
Dariusz Marzec
,
Slawomir Kost
,
Michal Henne
Proceedings of the 38th International Workshop on Description Logics, 2025

Around Unification in FL<sub>⊥</sub> - Three Related Problems (Extended Abstract).
[BibTeX]
[DOI]
Slawomir Kost
,
Barbara Morawska
Proceedings of the 38th International Workshop on Description Logics, 2025

2022
Finitary unification in locally tabular modal logics characterized.
[BibTeX]
[DOI]
Wojciech Dzik
,
Slawomir Kost
,
Piotr Wojtylak
Ann. Pure Appl. Log., 2022

Asymptotic comparison of the implicative fragments of certain fuzzy logics.
[BibTeX]
[DOI]
Slawomir Kost
,
Zofia Kostrzycka
Proceedings of the IEEE International Conference on Fuzzy Systems, 2022

2018
Frames for fusions of modal logics.
[BibTeX]
[DOI]
Slawomir Kost
J. Appl. Non Class. Logics, 2018

Projective unification in transitive modal logics.
[BibTeX]
[DOI]
Slawomir Kost
Log. J. IGPL, 2018


  Loading...