戴安娜·科斯塔;丹尼尔·菲格雷多;马丁斯(Manuel A.Martins)。 关系变化模型满足准一致性。 (英语) Zbl 1516.05214号 J.日志。阿尔盖布。方法计划。 133,文章ID 100870,11 p.(2023).MSC公司:05C99年 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{D.Costa}等人,J.Log。阿尔盖布。方法程序。133,文章ID 100870,第11页(2023;Zbl 1516.05214) 全文: 内政部
戴安娜·科斯塔;马丁斯(Manuel A.Martins)。 非对偶模态算子是混合逻辑中四值可及性关系的基础。 (英语) 兹伯利07377681 J.日志。阿尔盖布。方法计划。 121,文章ID 100679,25 p.(2021).MSC公司:03B53号 03B45号 03B50号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Costa}和\textit{M.A.Martins},J.Log。阿尔盖布。方法程序。121,文章ID 100679,25 p.(2021;Zbl 07377681) 全文: 内政部 链接