PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2018 | 47 | 3 |
Tytuł artykułu

On interpolation in NEXT(KB.Alt(2))

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
Słowa kluczowe
Rocznik
Tom
47
Numer
3
Opis fizyczny
Daty
wydano
2018-10-30
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_18778_0138-0680_47_3_02
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.