Login / Signup
Slawomir Kost
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 4
Top Topics
Theorem Prover
Transitive Closure
Modal Logic
Reconstruction From Multiple Views
Top Venues
Log. J. IGPL
Ann. Pure Appl. Log.
J. Appl. Non Class. Logics
FUZZ-IEEE
</>
Publications
</>
Slawomir Kost
,
Zofia Kostrzycka
Asymptotic comparison of the implicative fragments of certain fuzzy logics.
FUZZ-IEEE
(2022)
Wojciech Dzik
,
Slawomir Kost
,
Piotr Wojtylak
Finitary unification in locally tabular modal logics characterized.
Ann. Pure Appl. Log.
173 (4) (2022)
Slawomir Kost
Projective unification in transitive modal logics.
Log. J. IGPL
26 (5) (2018)
Slawomir Kost
Frames for fusions of modal logics.
J. Appl. Non Class. Logics
28 (1) (2018)