TYTUŁ ARTYKUŁU

Propositional dynamic logic has interpolation

AUTORZY
Tomasz Kowalski
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2001 / Tom 30 / Numer 1
STRONY
33 - 39
ROK
2001
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Tomasz Kowalski, Propositional dynamic logic has interpolation, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 1, s. 33 - 39

BIBTEX

Tomasz Kowalski. Propositional dynamic logic has interpolation. Bulletin of the Section of Logic, 30(1):33–39, 2001.

Pokaż kod BibTeX 
@article{bazhum240773,
  author = {Kowalski, Tomasz},
  title = {{Propositional dynamic logic has interpolation}},
  journal = {Bulletin of the Section of Logic},
  year = {2001},
  volume = {30},
  number = {1},
  pages = {33--39},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/240773}
}