Przeglądaj Bulletin of the Section of Logic 47/3 (2018) według tematu "amalgamation"
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.