Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

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

Szczegóły
Opis

Tytuł:: On interpolation in NEXT(KB.Alt(2))
Autorzy:: Kostrzycka, Zofia
Powiązania:: https://bibliotekanauki.pl/articles/749976.pdf
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: symmetric Kripke frames
interpolation
amalgamation
Źródło:: Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X
Język:: angielski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

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

Powiązane pozycje