Basket

0559445 - ÚI 2023 RIV DE eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : modal logic * interpretability logic * Veltman semantics * completeness
OECD category: Pure mathematics
Impact factor: 0.3, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1002/malq.202200015
Permanent Link: https://hdl.handle.net/11104/0332745