斯特夫·弗里杰特斯;范德普特,弗雷德里克 经典模态逻辑。 (英语) Zbl 07399896号 J.日志。计算。 31,第4期,1026-1054(2021).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Frijters}和\textit{F.Van De Putte},J.Log。计算。31,第4号,1026--1054(2021;Zbl 07399896) 全文: 内政部
范德普特,弗雷德里克 粗略的道义逻辑。 (英语) Zbl 1475.03080号 J.日志。计算。 29,第2期,285-317(2019). 审核人:Xavier Parent(卢森堡) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Van De Putte},J.Log。计算。29,第2号,285--317(2019;Zbl 1475.03080) 全文: 内政部
克里斯蒂安·斯特拉;范德普特,弗雷德里克 自适应策略和有限条件前提集。 (英语) 兹比尔1403.03044 J.日志。计算。 26,第5期,1517-1539(2016).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{C.Straßer}和\textit{F.Van De Putte},J.Log。计算。26、第5号1517--1539(2016;Zbl 1403.03044) 全文: 内政部 链接
范德普特,弗雷德里克;克里斯蒂安·斯特拉 优先化规范推理的逻辑。 (英语) Zbl 1272.03104号 J.日志。计算。 23,第3期,563-583(2013). 审核人:David Makinson(伦敦) MSC公司:03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{F.Van De Putte}和\textit{C.Straßer},J.Log。计算。23,第3号,563--583(2013;Zbl 1272.03104) 全文: 内政部 链接
范德普特,弗雷德里克 素数暗示和相关信念修正。 (英语) Zbl 1269.03023号 J.日志。计算。 第1期第23期,109-119页(2013年). 审核人:David Makinson(伦敦) MSC公司:03B42号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{F.Van De Putte},J.Log。计算。23,第1号,109--119(2013;Zbl 1269.03023) 全文: 内政部 链接