玛尔塔·比尔科娃;萨宾·弗里特拉;科日米亚琴科，达尼尔 次协调哥德尔逻辑中的非标准形式。 （英语） 兹伯利07855136 Gaggl，Sarah（编辑）等人，《人工智能中的逻辑》。第18届欧洲会议，JELIA 2023，德国德累斯顿，2023年9月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14281, 420-436 (2023).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}等人，Lect。注释计算。科学。14281420-436（2023；Zbl 07855136） 全文： 内政部 arXiv公司
玛尔塔·比尔科娃;萨宾·弗里特拉;Daniel Kozhemiachenko 准一致哥德尔模态逻辑。 （英语） Zbl 07628202号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 429-448 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}等人，Lect。注释计算。科学。13385，429--448（2022；Zbl 07628202） 全文： 内政部 arXiv公司 OA许可证
阿曼达·维达尔 模态多值逻辑的不确定性和非公理化。 （英语） Zbl 07620700号 J.塞姆。日志。 87，第4期，1576-1605（2022）.MSC公司：03B45号 03B47号 03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vidal}，J.Symb。日志。87，第4号，1576--1605（2022；Zbl 07620700） 全文： 内政部 arXiv公司 链接
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;奥利姆·图伊特 线性框架上的中间逻辑的一个可变片段。 （英语） 兹伯利07540277 Inf.计算。 287，文章ID 104755，20 p.（2022）.MSC公司：03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人，《信息计算》。287，文章ID 104755，20 p.（2022；Zbl 07540277） 全文： 内政部 OA许可证
阿曼达·维达尔 关于传递模态多值逻辑。 （英语） 兹比尔1464.03023 模糊集系统。 407, 97-114 (2021).MSC公司：03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vidal}，模糊集系统。407，97-114（2021；Zbl 1464.03023） 全文： 内政部 arXiv公司
里卡多·奥斯卡·罗德里格斯;阿曼达·维达尔 清晰哥德尔模态逻辑的公理化。 （英语） Zbl 07339959号 螺柱日志。 109，第2期，367-395（2021年）.MSC公司：03B45号 03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{R.O.Rodriguez}和\textit{A.Vidal}，Stud.Log。109，编号2，367--395（2021；Zbl 07339959） 全文： 内政部 arXiv公司
皮特·辛图拉;Paula Menchón;卡莱斯·诺格拉 模态多值逻辑的一般框架语义。 （英语） Zbl 1418.03121号 软计算。 23，第7号，2233-2241（2019）.MSC公司：03B52号 03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人，《软计算》。23，第7号，2233--2241（2019；Zbl 1418.03121） 全文： 内政部
马尔科·塞拉米;弗朗西斯科·埃斯特瓦;天使加西亚·塞尔达尼亚 模糊描述逻辑与多值模态逻辑的关系。 （英语） 兹比尔1452.68182 国际J近似推理 93, 372-394 (2018).MSC公司：68T27型 03B45号 03B50号 03B52号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Cerami}等人，国际期刊近似推理93，372--394（2018；Zbl 1452.68182） 全文： 内政部
皮特·辛图拉;卡莱斯·诺格拉 模态多值逻辑的邻域语义。 （英语） Zbl 1397.03027号 模糊集系统。 345, 99-112 (2018).MSC公司：03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{C.Noguera}，模糊集系统。345、99-112（2018年；Zbl 1397.03027） 全文： 内政部 链接
米歇尔·马蒂;乔治·梅特卡夫 基于链的模态逻辑中的表达性。 （英语） Zbl 1522.03056号 架构（architecture）。数学。逻辑 57，编号3-4，361-380（2018）.MSC公司：03B45号 03B50号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.马蒂}和\textit{G.梅特卡夫}，拱门。数学。逻辑57，编号3--4，361--380（2018；Zbl 1522.03056） 全文： 内政部 链接
丹尼萨·迪亚科内斯库;乔治·梅特卡夫;劳拉·施努里格 实值模态逻辑。 （英语） Zbl 1459.03021号 日志。方法计算。科学。 14，第1号，第10号论文，27页（2018年）.MSC公司：03B45号 03B50号 2015年3月1日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛D.Diaconescu｝等人，日志。方法计算。科学。14，第1号，第10号文件，第27页（2018；兹bl 1459.03021） 全文： 内政部 arXiv公司
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;乔纳斯·罗格 基于订单的模态逻辑的可判定性。 （英语） Zbl 1423.03056号 J.计算。系统。科学。 88, 53-74 (2017).MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人，《计算杂志》。系统。科学。88、53-74（2017；Zbl 1423.03056） 全文： 内政部 链接
弗朗西斯科·埃斯特瓦;路易斯·戈多;齐格弗里德·戈特瓦尔德;佛朗哥·蒙塔格纳 导言。 （英语） Zbl 1328.03023号 Montagna，Franco（编辑），Petr Hájek关于数学模糊逻辑。查姆：施普林格（ISBN 978-3-319-06232-7/hbk；978-3-3169-06233-4/电子书）。《逻辑6的杰出贡献》，3-20（2015）。MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{F.Esteva}等人，Outst。控制日志。6、3——20（2015；Zbl 1328.03023） 全文： 内政部 链接
蝉蜕、阿加塔;雷文莎·拉马纳亚克;海因里希·瓦辛 超连续和显示计算–统一的视角。 （英语） Zbl 1344.03043号 螺柱日志。 102，第6期，1245-1294（2014）.MSC公司：03财年03 05年3月 03B45号 03B20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人，研究日志。102，编号61245-1294（2014；兹bl 1344.03043） 全文： 内政部
樊、团房;Churn Jung廖 加权社交网络中规则等价的逻辑特征。 （英语） Zbl 1405.68349号 Artif公司。智力。 214, 66-88 (2014).MSC公司：68T27型 03B45号 第68页第37页 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{T.-F.Fan}和\textit{C.-J.Liau}，Artif。智力。214、66-88（2014年；Zbl 1405.68349） 全文： 内政部