Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
A Modified Subformula Property for K5 and K5D
Zacytuj
CZYSTY TEKST
Mitio Takano, A Modified Subformula Property for K5 and K5D, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 115 - 122
BIBTEX
Mitio Takano. A Modified Subformula Property for K5 and K5D. Bulletin of the Section of Logic, 30(2):115–122, 2001.
Pokaż kod BibTeX
@article{bazhum240851,
author = {Takano, Mitio},
title = {{A Modified Subformula Property for K5 and K5D}},
journal = {Bulletin of the Section of Logic},
year = {2001},
volume = {30},
number = {2},
pages = {115--122},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/240851}
}