福斯托·巴贝罗;杨,范 描述(广义)因果团队的反事实和依赖性。 (英语) 兹伯利07598582 圣母院J.形式逻辑 63,第3号,301-341(2022).MSC公司:03B60号 62D20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbero}和\textit{F.Yang},圣母院J.形式逻辑63,No.3,301--341(2022;Zbl 07598582) 全文: 内政部 arXiv公司 链接
何嘉琪;刘、胡 信念逻辑的概率语义。 (英语) 兹比尔1529.03133 圣母院J.形式逻辑 62,第4号,643-659(2021).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{H.Liu},圣母院J.形式逻辑62,No.4,643--659(2021;Zbl 1529.03133) 全文: 内政部
劳埃德·亨伯斯通 同意与不同意的模态逻辑。 (英语) Zbl 1046.03008号 圣母院J.形式逻辑 43,第2期,95-127(2002). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},圣母院J.形式逻辑43,No.2,95-127(2002;Zbl 1046.03008) 全文: 内政部
伯恩哈德·海尼曼 满足有限链条件的拓扑模态逻辑。 (英语) Zbl 0977.03014号 圣母院J.形式逻辑 39,第3期,406-421(1998). 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:03B42号 68T27型 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Heinemann},圣母院《形式逻辑》39,第3期,第406-421页(1998年;Zbl 0977.03014) 全文: 内政部
马克·雷诺兹 一种可判定的并行时序逻辑。 (英语) Zbl 0904.03010号 圣母院J.形式逻辑 38,第3期,419-436(1997).MSC公司:03B45号 03B25号 03B80号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},《圣母院J·形式逻辑》38,第3期,419-436页(1997年;Zbl 0904.03010) 全文: 内政部
乔里·恩格弗里特 最小时间认知逻辑。 (英语) Zbl 0866.03014号 圣母院J.形式逻辑 37,第2期,233-259(1996). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B60号 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},圣母院J.形式逻辑37,No.2,233--259(1996;Zbl 0866.03014) 全文: 内政部
伊迪丝·赫玛斯潘德拉 普遍性的代价。 (英语) Zbl 0865.03032号 圣母院J.形式逻辑 37,第2期,174-203(1996). 审核人:P.Jančar(俄斯特拉发) MSC公司:2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Hemaspandra},圣母院J.形式逻辑37,第2期,174--203(1996;Zbl 0865.03032) 全文: 内政部
基隆·奥哈拉;Reichgelt,汉族;奈杰尔·沙德博尔特 避免信仰逻辑中的全能性:对麦克弗森的回答。 (英语) Zbl 0850.03017号 圣母院J.形式逻辑 36,第3期,475-495(1995).MSC公司:03年05月 03B60号 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.O'Hara}等人,圣母院J.形式逻辑36,No.3,475--495(1995;Zbl 0850.03017) 全文: 内政部