TYTUŁ ARTYKUŁU

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

AUTORZY
Kotsumi Sasaki
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2012 / Tom 41 / Numer 1-2
STRONY
75 - 88
ROK
2012
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Kotsumi Sasaki, Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 75 - 88

BIBTEX

Kotsumi Sasaki. Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4. Bulletin of the Section of Logic, 41(1-2):75–88, 2012.

Pokaż kod BibTeX
@article{bazhum244647,
  author = {Sasaki, Kotsumi},
  title = {{Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4}},
  journal = {Bulletin of the Section of Logic},
  year = {2012},
  volume = {41},
  number = {1-2},
  pages = {75--88},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/244647}
}