Semantical Proof of Subformula Property for the Model Logics K4.3, KD4.3, and S4.3

Bulletin of the Section of Logic, Tom 48, Numer 4 (2019) s. 245-257
Daishi Yazaki

 

Zaznaczone:  

do góry

Czy na pewno chcesz usunąć artykuł?

Załóż konto

Nazwa:
Adres e-mail:
Hasło:
Powtórz hasło:
Logowanie

Zaloguj się

Login:
Hasło:
Zapomniałem hasła