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
1982 | 9 | 1 | 341-345

Tytuł artykułu

Undecidability of the completeness problem of modal logic

Autorzy

Treść / Zawartość

Języki publikacji

EN

Rocznik

Tom

9

Numer

1

Strony

341-345

Daty

wydano
1982

Twórcy

  • Burnaby, Canada

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-bcpv9i1p341bwm