TYTUŁ ARTYKUŁU

Decision procedures for some strong hybrid logics

AUTORZY
Andrzej Indrzejczak, Michał Zawidzki
TYTUŁ CZASOPISMA
Logic and Logical Philosophy
WYDANIE
2013 / Tom 22 / Numer 4
STRONY
389 - 409
ROK
2013
WYDAWCA
Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
ISSN
1425-3305

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

Zacytuj

CZYSTY TEKST

Andrzej Indrzejczak, Michał Zawidzki, Decision procedures for some strong hybrid logics, Logic and Logical Philosophy, 2013 / Tom 22 / Numer 4, s. 389 - 409

BIBTEX

Andrzej Indrzejczak and Michał Zawidzki. Decision procedures for some strong hybrid logics. Logic and Logical Philosophy, 22(4):389–409, 2013.

Pokaż kod BibTeX 
@article{bazhum275637,
  author = {Indrzejczak, Andrzej and Zawidzki, Michał},
  title = {{Decision procedures for some strong hybrid logics}},
  journal = {Logic and Logical Philosophy},
  year = {2013},
  volume = {22},
  number = {4},
  pages = {389--409},
  issn = {1425-3305},
  url = {https://bazhum.muzhp.pl/articles/275637}
}