Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4

Bulletin of the Section of Logic, Tom 41, Numer 1-2 (2012) s. 75-88
Kotsumi Sasaki

 

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