Wyświetlanie pozycji 1-1 z 1

    • On interpolation in next (kb.alt(2)) 

      Kostrzycka, Zofia (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.