TYTUŁ ARTYKUŁU

Labelled Tableau Calculi for Weak Modal Logics

AUTORZY
Andrzej Indrzejczak
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2007 / Tom 36 / Numer 3-4
STRONY
159 - 172
ROK
2007
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Andrzej Indrzejczak, Labelled Tableau Calculi for Weak Modal Logics, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 3-4, s. 159 - 172

BIBTEX

Andrzej Indrzejczak. Labelled Tableau Calculi for Weak Modal Logics. Bulletin of the Section of Logic, 36(3-4):159–172, 2007.

Pokaż kod BibTeX
@article{bazhum242883,
  author = {Indrzejczak, Andrzej},
  title = {{Labelled Tableau Calculi for Weak Modal Logics}},
  journal = {Bulletin of the Section of Logic},
  year = {2007},
  volume = {36},
  number = {3-4},
  pages = {159--172},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/242883}
}