玛尔塔·比尔科娃;马特·多斯塔尔 有序余代数的Moss逻辑。 (英语) Zbl 07577582号 日志。方法计算。科学。 18,第3号,第18号论文,61页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}和\textit{M.Dostál},Log。方法计算。科学。18,第3号,第18号论文,61页(2022;Zbl 07577582) 全文: arXiv公司 链接
贝尔科娃,玛尔塔;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;纳乔姆·维恩伯格 资源和能力的逻辑。 (英语) Zbl 1506.03065号 版本符号。日志。 11,第2号,371-410(2018).MSC公司:03B42号 03B20型 03B60号 03B45号 05年3月 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}等人,Rev.Symb。日志。11,第2号,371--410(2018;Zbl 1506.03065) 全文: 内政部 arXiv公司