Normal forms in partial modal logic

Tom 28 / 1993

Jan Jaspars Banach Center Publications 28 (1993), 37-50 DOI: 10.4064/-28-1-37-50

Streszczenie

A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].

Autorzy

  • Jan Jaspars

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek