Theory and Application of Labelling Techniques for Interpretability Logics

Počet záznamů: 1

1.

SYSNO	0559445
Název	Theory and Application of Labelling Techniques for Interpretability Logics
Tvůrce(i)	Goris, E. (NL) Bílková, Marta (UIVT-O)_{SAI, RID, ORCID} Joosten, J.J. (ES) Mikec, L. (HR)
Korespondující/senior	Mikec, L. - Korespondující autor
Zdroj.dok.	Mathematical Logic Quarterly. Roč. 68, č. 3 (2022), s. 352-374. - : Wiley
Druh dok.	Článek v odborném periodiku
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	modal logic * interpretability logic * Veltman semantics * completeness
Spolupracující instituce	Xilio, Hilversum (Nizozemsko) University of Barcelona (Španělsko) University of Zagreb (Chorvatsko)
URL	https://dx.doi.org/10.1002/malq.202200015
Trvalý link	https://hdl.handle.net/11104/0332745

Počet záznamů: 1