编辑配置文件(在新选项卡中打开) 弗朗西丝卡·波乔列西 合著者距离 作者ID: 弗朗西丝卡 发布方式: 弗朗西丝卡·波乔列西;Poggiolesi,F。 已编制索引的文档: 26出版物自2008年以来,包括1本书 2作为编辑的贡献 合著者: 7合著者具有8联合出版物 105位合作作者 全部的 前5名合著者 20 单作者的 三 布莱恩·希尔 2 弗朗西斯科·詹科(Francesco A.Genco)。 1 帕特里克·阿洛 1 尼西姆·弗朗西兹 1 洛伦佐·保罗·罗西 1 Smets,Sonja J.L。 1 皮埃尔·瓦格纳 全部的 前5名系列 4 逻辑与分析。Nouvelle Série公司 4 合成 2 Studia Logica公司 2 符号逻辑综述 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 逻辑历史与哲学 1 塞贡达·埃波卡理论 1 应用非经典逻辑杂志 1 逻辑与逻辑哲学 1 澳大利亚逻辑杂志 1 逻辑趋势——Studia Logica图书馆 1 泛逻辑 1 哲学科学 1 逻辑、语言、科学、哲学 领域 27 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 2 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用164中的次107文件 引用人▼ 年份▼ 模态命题逻辑的Gentzen演算。 Zbl 1232.03007号 弗朗西丝卡·波乔列西 45 2011 模态逻辑S5的无割简单序列演算。 Zbl 1204.03024号 弗朗西丝卡·波乔列西 32 2008 模态命题逻辑的树超序列方法。 Zbl 1166.03009号 弗朗西斯卡·波吉奥莱西 28 2009 关于定义完整和直接的形式基础的概念。 Zbl 1380.03021号 弗朗西丝卡·波乔列西 16 2016 关于为完整和直接的形式基础概念构建逻辑。 Zbl 1522.03094号 弗朗西丝卡·波乔列西 11 2018 一种用于可证明模态逻辑的纯句法和无割序列演算。 Zbl 1189.03071号 弗朗西丝卡·波乔列西 8 2009 对最新接地逻辑的批判性概述。 Zbl 1436.03068号 弗朗西丝卡·波乔列西 6 2016 关于分析的重要性。证明逻辑的典型案例。 Zbl 1283.03089号 弗朗西丝卡·波乔列西 4 2012 显示结石和其他模态结石:比较。 Zbl 1205.03031号 弗朗西斯卡·波吉奥莱西 4 2010 命题动态逻辑的无收缩和无剪切序列演算。 Zbl 1193.03038号 布莱恩·希尔;弗朗西斯卡·波吉奥莱西 2 2010 反事实逻辑的自然演绎计算和后继计算。 Zbl 1417.03286号 弗朗西丝卡·波乔列西 2 2016 几种接地类型的基于证明的框架。 Zbl 1508.03029号 弗朗西丝卡·波乔列西 2 2020 (相关)含义的接地原则。 Zbl 1507.03082号 弗朗西丝卡·波乔列西 2 2021 通过超序列从单个代理到多代理。 兹比尔1345.03030 弗朗西丝卡·波乔列西 1 2013 公共知识:有限微积分与句法删减程序。 Zbl 1373.03019号 弗朗西丝卡·波乔列西;布莱恩·希尔 1 2015 (相关)含义的接地原则。 Zbl 1507.03082号 弗朗西丝卡·波乔列西 2 2021 几种接地类型的基于证明的框架。 Zbl 1508.03029号 弗朗西丝卡·波乔列西 2 2020 关于为完整和直接的形式基础概念构建逻辑。 Zbl 1522.03094号 弗朗西斯卡·波吉奥莱西 11 2018 关于定义完整和直接的形式基础的概念。 Zbl 1380.03021号 弗朗西丝卡·波乔列西 16 2016 对最新接地逻辑的批判性概述。 Zbl 1436.03068号 弗朗西丝卡·波乔列西 6 2016 反事实逻辑的自然演绎计算和后继计算。 Zbl 1417.03286号 弗朗西丝卡·波乔列西 2 2016 公共知识:有限微积分与句法删减程序。 Zbl 1373.03019号 弗朗西丝卡·波乔列西;希尔,布赖恩 1 2015 通过超序列从单个代理到多代理。 兹比尔1345.03030 弗朗西丝卡·波乔列西 1 2013 关于分析的重要性。证明逻辑的典型案例。 兹比尔1283.03089 弗朗西丝卡·波乔列西 4 2012 模态命题逻辑的Gentzen演算。 Zbl 1232.03007号 弗朗西丝卡·波乔列西 45 2011 显示结石和其他模态结石:比较。 Zbl 1205.03031号 弗朗西丝卡·波乔列西 4 2010 命题动态逻辑的无收缩和无剪切序列演算。 Zbl 1193.03038号 布莱恩·希尔;弗朗西丝卡·波乔列西 2 2010 模态命题逻辑的树超序列方法。 Zbl 1166.03009号 弗朗西丝卡·波乔列西 28 2009 一种用于可证明模态逻辑的纯句法和无割序列演算。 Zbl 1189.03071号 弗朗西丝卡·波乔列西 8 2009 模态逻辑S5的无割简单序列演算。 Zbl 1204.03024号 弗朗西丝卡·波乔列西 32 2008 所有引用出版物 前5名被引用出版物 全部的 前5名113位作者引用 17 弗朗西丝卡·波乔列西 6 安德烈·因德泽扎克(Andrzej Indrzejczak) 4 罗马库兹涅茨 4 雅罗斯拉夫·伊戈列维奇·彼得鲁金 4 伊莱恩·皮门特尔 4 雷文莎·拉马纳亚克 4 卢茨斯特拉汉堡 三 弗朗西斯科·詹科(Francesco A.Genco)。 三 诺伯特·格拉茨 三 比约恩·莱尔曼 2 凯·布伦勒 2 法布里斯·科雷亚 2 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德 2 装配,梅尔文·克里斯 2 尼西姆·弗朗西兹 2 玛丽安娜·吉兰多 2 奥列格·米哈·洛维奇·格里戈列夫 2 布莱恩·希尔 2 高雄井上 2 利纳雷斯·阿雷瓦洛(Linares Arévalo)、皮拉尔·塞莱恩(Pilar Selene) 2 蒂姆·S·里昂。 2 索尼娅·马林 2 杰瑞德·米尔森(Jared A.Millson)。 2 米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 2 卡洛斯·奥拉特 2 奥兰德利,尤金尼奥 2 路易斯·卡洛斯·佩雷拉(Luiz Carlos P.D.Pereira)。 2 雷斯塔尔,格雷格 2 肖恩·斯坦德弗 2 托马斯·施图德 2 海因里希·西奥多 2 布鲁诺·泽维尔 1 马特奥·阿克拉维奥 1 Mojtaba Aghaei 1 朱利叶斯·安德里科尼斯 1 萨拉·艾汉 1 巴兹,马蒂亚斯 1 大卫·巴尔德 1 卡贾·贝德纳斯卡 1 尼克·贝扎尼什维利 1 科西莫·佩里尼·布罗吉 1 卢克·爱德华·伯克 1 伯恩斯,萨马拉 1 考斯托夫·乔杜里 1 陈金生 1 蝉蜕、阿加塔 1 巴勃罗·科布雷罗斯 1 蒂齐亚诺·达尔蒙特 1 瓦莱里亚·德·佩瓦 1 路易斯·德罗塞特 1 谢尔盖·德罗比舍维奇 1 罗伊·戴克霍夫 1 很好,Kit 1 安德烈亚斯·费尔斯塔德 1 迪迪埃加尔米奇 1 梅格达德·加里 1 西尔维奥·吉拉尔迪 1 拉杰夫·普拉巴卡尔·戈尔 1 斯特凡诺游击队 1 罗斯·霍恩 1 拉赫利·贾拉利 1 诺里希罗·卡米德 1 川野、通崎 1 亚历山大·库克里克(Alexander W.Kocurek)。 1 斯蒂芬·克莱默(Stephan C.Kramer)。 1 埃利奥·拉罗莎 1 奥里·拉哈夫 1 李庆国 1 托梅尔·利巴尔 1 舔,安东尼 1 乔恩·埃尔林·利特兰 1 阿内拉·洛里奇 1 马明辉 1 马可·马格西 1 乔安·马科斯 1 米歇尔·马蒂 1 安德烈亚·马西尼 1 安德烈亚·马祖洛 1 迈克尔·门德勒 1 米纳里,皮尔路易吉 1 哈姆泽·穆罕默德 1 内格里,萨拉 1 尼古拉·奥利维蒂 1 埃迪·巴甫洛维奇 1 马里奥广场 1 安东尼奥·阿拉戈纳广场 1 吉安·卢卡(Gian Luca),披萨 1 加布里埃尔·普奇尼 1 阅读,斯蒂芬 1 雷普利,大卫 1 斯特凡·罗斯基 1 洛伦佐·保罗·罗西 1 罗伊,奥利维尔 1 梅赫努什·萨德扎德 1 销售,艾默生 1 雅库布Salhi 1 斯蒂芬·谢勒 1 西尔万·施密茨 1 Daniyar S.Shamkanov。 1 克里斯蒂安·斯特拉瑟 …和另外13位作者 全部的 前5名24篇连载文章中引用 12 Studia Logica公司 9 合成 8 应用非经典逻辑杂志 8 符号逻辑综述 7 哲学逻辑杂志 6 纯逻辑与应用逻辑年鉴 6 逻辑与逻辑哲学 4 数学逻辑档案 4 泛逻辑 三 逻辑科公报 2 圣母院形式逻辑杂志 2 计算机科学中的数学结构 2 逻辑、语言与信息杂志 2 计算机科学中的逻辑方法 1 信息处理信件 1 立陶宛数学杂志 1 数学笔记 1 理论计算机科学 1 塞贡达·埃波卡理论 1 信息与计算 1 自动推理杂志 1 符号逻辑公报 1 托波伊 1 日本数学杂志 在5个字段中引用 101 数学逻辑和基础(03-XX) 13 计算机科学(68-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文