亚历山大·巴尔塔格;李大竹;米娜·杨·佩德森 用于监督学习的模态逻辑。 （英语） Zbl 1515.03089号 J.逻辑语言信息。 31，第2期，213-234（2022）.MSC公司：03B45号 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人，J.Logic Lang.Inf.31，No.2，213--234（2022；Zbl 1515.03089） 全文： DOI程序
亚历山大·巴尔塔格;李大竹;米娜·杨·佩德森 在正确的道路上：监督学习的模态逻辑。 （英语） Zbl 07160597号 Blackburn，Patrick（编辑）等人，《逻辑、理性与互动》。2019年LORI第七届国际研讨会，中国重庆，2019年10月18-21日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11813, 1-14 (2019).MSC公司：68问题32 03B45号 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人，Lect。注释计算。科学。11813，1-14（2019；Zbl 07160597） 全文： DOI程序 arXiv公司