Relational dual tableau decision procedure for modal logic K

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Relational dual tableau decision procedure for modal logic K
Adres internetowy	http://jigpal.oxfordjournals.org/content/early/2011/02/10/jigpal.jzr019
Tytuł czasopisma	LOGIC JOURNAL OF THE IGPL
Medium	publikacja internetowa
Tom
Zeszyt
Rok wydania	2011
Od strony	1
Do strony	10
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2011