里卡多·奥斯卡·罗德里格斯;阿曼达·维达尔 清晰哥德尔模态逻辑的公理化。 (英语) Zbl 07339959号 螺柱日志。 109,第2期,367-395(2021年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.O.Rodriguez}和\textit{A.Vidal},Stud.Log。109,编号2,367--395(2021;Zbl 07339959) 全文: 内政部 arXiv公司
泽维尔·凯塞多;里卡多·罗德里格斯。 标准哥德尔模态逻辑。 (英语) Zbl 1266.03030号 螺柱日志。 94,第2期,189-214(2010).MSC公司:03B45号 03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}和\textit{R.O.Rodriguez},Stud.Log。94,第2号,189--214(2010;Zbl 1266.03030) 全文: 内政部
弗朗西斯科·埃斯特瓦;佩雷·加西亚;路易斯·戈多;里卡多·罗德里格斯 基于相似性推理的模式说明。 (英语) Zbl 0935.03037号 国际J近似推理 16,第3-4、235-260号(1997年).MSC公司:03B52号 68层37 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Esteva}et al.,Int.J.近似推理16,No.3--4235-260(1997;Zbl 0935.03037) 全文: 内政部