On the decidability of elementary modal logics

Tytuł: On the decidability of elementary modal logics
Tytuł czasopisma: ACM Transactions on Computational Logic
Twórca: Michaliszyn, Jakub ; Otop, Jan ; Kieroński, Emanuel
Strony: s. 2-1-2-47
Opis: Zawiera ilustracje. ; Bibliogr. ; Przy nazwisku Jan Otop podwójna afiliacja : IST Austria i Uniwersity of Wrocław. ; Streszcz. w jęz. ang.
Język Abstraktu: eng
Data wydania: 2015
Typ: Tekst
Identyfikator: ISSN 1529-3785 ; https://doi.org/10.1145/2817825
Język publikacji: eng
Wersja Cyfrowa: http://dx.doi.org/10.1145/2817825
Szczegółowy typ obiektu: art
Typ obiektu: Artykuł
Tom/Wolumen/Zeszyt: Vol. 17, iss. 1 (2015)