Complexity of the interpretability logics ILW and ILP.

Autor:	Mikec, Luka1 (AUTHOR) lmikec@math.hr
Zdroj:	Logic Journal of the IGPL. Feb2023, Vol. 31 Issue 1, p194-213. 20p.
Databáze:	Business Source Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.