TYTUŁ ARTYKUŁU

Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property

AUTORZY
Eiko Isoda, Tatsuya Shimura
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1998 / Tom 27 / Numer 4
STRONY
182 - 189
ROK
1998
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY 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

Eiko Isoda and Tatsuya Shimura. Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property. Bulletin of the Section of Logic, 27(4):182–189, 1998.

Pokaż kod BibTeX
@article{bazhum234441,
  author = {Isoda, Eiko and Shimura, Tatsuya},
  title = {{Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property}},
  journal = {Bulletin of the Section of Logic},
  year = {1998},
  volume = {27},
  number = {4},
  pages = {182--189},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/234441}
}