dr Sławomir Kost

Publikacje


    2022
  1. Wojciech Dzik, Sławomir Kost, Piotr Wojtylak, FINITARY UNIFICATION IN LOCALLY TABULAR MODAL LOGICS CHARACTERIZED, Annals of Pure and Applied Logic, Volume 173, Issue 4 (2022), 103072.
  2. Sławomir Kost, Zofia Kostrzycka, ASYMPTOTIC COMPARISON OF THE IMPLICATIVE FRAGMENTS OF CERTAIN FUZZY LOGICS, 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (2022), 1-8.

  3. 2019
  4. Sławomir Kost, PROJECTIVE UNIFICATION IN NEXT(K4), Topology, Algebra, and Categories in Logic 2019 (2019), referat wygłoszony.

  5. 2018
  6. Sławomir Kost, FRAMES FOR FUSIONS OF MODAL LOGICS, Journal of Applied NonClassical Logic, 28 (2018), 1-19.
  7. Sławomir Kost, PROJECTIVE UNIFICATION IN TRANSITIVE MODAL LOGICS, Logic Journal of the IGPL, 26 (2018), 548–566.

  8. 2017
  9. Sławomir Kost, ROOTED FRAMES FOR FUSIONS OF MULTIMODAL LOGICS, Topology, Algebra, and Categories in Logic 2017, Prague, Czech Republic, June 26-30 2017 (2017), referat wygłoszony.

  10. 2016
  11. Sławomir Kost, CONNECTED FRAMES FOR FUSIONS OF MULTIMODAL LOGICS, Logic Colloquium 2016, Leeds, UK, July 31 to August 6 2016 (2016), referat wygłoszony.

  12. 2013
  13. Sławomir Kost, COUNTABLE FRAMES FOR BIMODAL LOGICS S5 ⊗ S5 AND GRZ.3⊗ GRZ.3, Bulletin of the Section of Logic, 42/3-4 (2013), 183-198.