Košík

0559445 - ÚI 2023 RIV DE eng J - Článek v odborném periodiku
Goris, E. - Bílková, Marta - Joosten, J.J. - Mikec, L.
Theory and Application of Labelling Techniques for Interpretability Logics.
Mathematical Logic Quarterly. Roč. 68, č. 3 (2022), s. 352-374. ISSN 0942-5616. E-ISSN 1521-3870
Institucionální podpora: RVO:67985807
Klíčová slova: modal logic * interpretability logic * Veltman semantics * completeness
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1002/malq.202200015
Trvalý link: https://hdl.handle.net/11104/0332745