Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
Subframe Formulas for S4-type Intuitionistic Modal Logic
Zacytuj
CZYSTY TEKST
Kazuyo Inoi, Subframe Formulas for S4-type Intuitionistic Modal Logic, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 99 - 105
BIBTEX
Kazuyo Inoi. Subframe Formulas for S4-type Intuitionistic Modal Logic. Bulletin of the Section of Logic, 30(2):99–105, 2001.
Pokaż kod BibTeX
@article{bazhum240830,
author = {Inoi, Kazuyo},
title = {{Subframe Formulas for S4-type Intuitionistic Modal Logic}},
journal = {Bulletin of the Section of Logic},
year = {2001},
volume = {30},
number = {2},
pages = {99--105},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/240830}
}