Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4
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}
}