Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2015 | 44 | 3-4 |

Tytuł artykułu

On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames

Treść / Zawartość

Warianty tytułu

Języki publikacji

Abstrakty

EN
Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.

Słowa kluczowe

Rocznik

Tom

44

Numer

3-4

Opis fizyczny

Daty

wydano
2015

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

URI
http://hdl.handle.net/11089/17907

Identyfikator YADDA

bwmeta1.element.hdl_11089_17907
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ć.