亚历克斯·别利科夫 关于一些传染逻辑的二价语义和自然演绎。 (英语) Zbl 1494.03065号 日志。J.IGPL公司 186-210(2022)第1期第30页.MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Belikov},日志。J.IGPL 30,第1期,186--210(2022年;Zbl 1494.03065) 全文: 内政部
菲利普·巴尔比亚尼;大卫·费尔南德斯·杜克;安德烈亚斯·赫齐格;皮塔·伊利耶夫 框架有效性对策和模态公理复杂性的下限。 (英语) Zbl 1494.03047号 日志。J.IGPL公司 30,编号1,155-185(2022).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,Log。J.IGPL 30,第1期,155--185(2022年;Zbl 1494.03047) 全文: 内政部 arXiv公司
伊凡·查伊达;赫尔穆特·Länger 有限高度的正交模偏序集的逻辑。 (英语) Zbl 1507.03105号 日志。J.IGPL公司 30,第1期,143-154(2022). 审核人:米尔科·纳瓦拉(普拉哈) MSC公司:03G12号机组 06第15页 81页第10页 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{I.Chajda}和\textit{H.Länger},Log。J.IGPL 30,第1期,143--154(2022年;Zbl 1507.03105) 全文: 内政部 arXiv公司
索马耶·乔波赫鲁;莫蒂扎·莫尼里 动态拓扑逻辑的无限公理化。 (英语) Zbl 1494.03048号 日志。J.IGPL公司 30,编号1,124-142(2022).MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Chopoghloo}和\textit{M.Moniri},日志。J.IGPL 30,编号1,124--142(2022;Zbl 1494.03048) 全文: 内政部
米查·瓦利基 图正规形式的扩展。 (英语) Zbl 1494.03026号 日志。J.IGPL公司 30,第1号,101-123(2022).MSC公司:03年10月 PDF格式BibTeX公司 XML格式引用 \textit{M.Walicki},日志。J.IGPL 30,编号1,101--123(2022;Zbl 1494.03026) 全文: 内政部 OA许可证
范洁 理智和不可靠信念的逻辑。 (英语) Zbl 1494.03037号 日志。J.IGPL公司 30,编号1,78-100(2022).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fan},日志。J.IGPL 30,编号1,78--100(2022;Zbl 1494.03037) 全文: 内政部
赛义德·萨利希 “有时是一个悖论”,现在证明:亚布罗不是第一级的。 (英语) Zbl 1497.03023号 日志。J.IGPL公司 30,编号1,71-77(2022). 审核人:维克托·潘布奇(格伦代尔) MSC公司:03A05号 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{S.Salehi},日志。J.IGPL 30,编号1,71--77(2022;Zbl 1497.03023) 全文: 内政部 arXiv公司
纳贝Aboolian;马吉德·阿里扎德 严格蕴涵逻辑的Lyndon插值性质。 (英语) Zbl 1494.03029号 日志。J.IGPL公司 30,编号1,34-70(2022).MSC公司:03B20型 03B45号 03C40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Aboolian}和\textit{M.Alizadeh},日志。J.IGPL 30,编号1,34-70(2022;Zbl 1494.03029) 全文: 内政部
杰玛·罗伯斯;何塞·梅恩德斯。 关于Kleene强三值逻辑二元展开的函数完备性的注记。 (英语) Zbl 1507.03085号 日志。J.IGPL公司 30,编号1,21-33(2022). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{G.Robles}和\textit{J.M.Méndez},Log。J.IGPL 30,编号1,21-33(2022;Zbl 1507.03085) 全文: 内政部
吉列尔莫·巴迪亚;卡莱斯·诺格拉 一阶多值逻辑的饱和模型。 (英语) Zbl 1491.03021号 日志。J.IGPL公司 30,第1号,1-20(2022).MSC公司:03B50号 03B52号 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}和\textit{C.Noguera},Log。J.IGPL 30,编号1,1--20(2022;Zbl 1491.03021) 全文: 内政部 arXiv公司 链接