阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 积极联合逻辑的制度方法。 (英语) Zbl 1444.03184号 J.日志。计算。 27,第6期,1799-1824(2017).MSC公司:03G30型 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Balan}等人,J.Log。计算。27,第6号,1799-1824(2017年;兹bl 1444.03184) 全文: 内政部
萨宾·弗里特拉;朱塞佩·格雷科;亚历山大·库兹;亚历山德拉·帕尔米吉亚诺 命题动态逻辑的多类型显示演算。 (英语) Zbl 1403.03025号 J.日志。计算。 26,第6号,2067-2104(2016).MSC公司:03B42号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Frittella}等人,J.Log。计算。26,第6号,2067--2104(2016;Zbl 1403.03025) 全文: 内政部 arXiv公司
萨宾·弗里特拉;朱塞佩·格雷科;亚历山大·库兹;亚历山德拉·帕尔米吉亚诺;弗拉斯塔·西基米奇 动态认知逻辑的多类型显示演算。 (英语) Zbl 1403.03027号 J.日志。计算。 2017-2065(2016)第6号第26条.MSC公司:03B42号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Frittella}等人,J.Log。计算。2017年6月26日--2065(2016;Zbl 1403.03027) 全文: 内政部 arXiv公司
萨宾·弗里特拉;朱塞佩·格雷科;亚历山大·库兹;亚历山德拉·帕尔米吉亚诺;弗拉斯塔·西基米奇 动态认知逻辑的证明理论语义分析。 (英语) Zbl 1403.03026号 J.日志。计算。 1961-2015年第6期26号(2016).MSC公司:03B42号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Frittella}等人,J.Log。计算。1961年6月26日至2015年(2016年;兹bl 1403.03026) 全文: 内政部 arXiv公司
亚历山大·库兹;亚历山德拉·帕尔米吉亚诺;维尼马,伊德 编辑。Coalgebra与逻辑:简要概述。 (英语) Zbl 1211.03102号 J.日志。计算。 20,第5号,985-990(2010).MSC公司:03G30型 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kurz}等人,J.Log。计算。20,编号:51985-990(2010年;兹bl 1211.03102) 全文: 内政部