Eiko Isoda
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 182 - 1891998CZYSTY TEKST
Eiko Isoda, Tatsuya Shimura, Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 182 - 189
BIBTEX@Article{ authors = " Eiko Isoda, Tatsuya Shimura", title = "Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "182 - 189" }