佛朗哥·蒙塔格纳;洛伦佐·萨切蒂 “多值逻辑的克里普克式语义”勘误表。 (英语) Zbl 1039.03013号 数学。日志。问:。 50,第1期,104-107(2004).MSC公司:03B50 03B47号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{L.Sacchetti},数学。日志。企50,第1号,第104-107条(2004;Zbl 1039.03013) 全文: 内政部
佛朗哥·蒙塔格纳;洛伦佐·萨切蒂 多值逻辑的Kripke风格语义。 (英语) Zbl 1035.03010号 数学。日志。问:。 49,第6期,629-641(2003).MSC公司:03B50 03B47号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{L.Sacchetti},数学。日志。企49、6号、629--641(2003;Zbl 1035.03010) 全文: 内政部
佛朗哥·蒙塔格纳;小野,Hiroakira Esteva和Godo逻辑MTL的Kripke语义、不可判定性和标准完整性。 (英语) Zbl 1013.03021号 螺柱日志。 71,第2期,227-245(2002). 审核人:Albert Hoogewijs(性别) MSC公司:03B52号 03B50 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{H.Ono},Stud.Log。71,第2号,227--245(2002;Zbl 1013.03021) 全文: 内政部
佛朗哥·蒙塔格纳 PA有限子理论中的可证明性和相对可解释性:一项模态研究。 (英语) Zbl 0623.03023号 J.塞姆。日志。 52, 494-511 (1987). 审核人:S.Artemov公司 MSC公司:03B45号 07年3月 30楼03号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna},J.Symb。日志。52、494--511(1987年;Zbl 0623.03023) 全文: 内政部