Szukaj
Wyświetlanie pozycji 1-1 z 1
On interpolation in next (kb.alt(2))
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
Wyświetlanie pozycji 1-1 z 1