马西米利亚诺·卡拉拉;丹尼尔·奇菲;西罗·德弗洛里奥 语用学逻辑中的断言和否定。 (英语) Zbl 1436.03162号 J.应用。日志。 25补遗,S97-S107(2017).MSC公司:03B53号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Carrara}等人,J.Appl。日志。25补遗,S97--S107(2017;Zbl 1436.03162) 全文: 内政部
卢卡·特兰奇尼 双直觉逻辑的自然演绎。 (英语) Zbl 1436.03095号 J.应用。日志。 25补遗,S72-S96(2017).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Tranchini},J.应用。日志。25补遗,S72-S96(2017;Zbl 1436.03095) 全文: 内政部
比约恩·杰斯珀森;马西米利亚诺·卡拉拉;玛丽·杜季 反复的匮乏和积极的预测。 (英语) Zbl 1436.03172号 J.应用。日志。 25补遗,S48-S71(2017).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jespersen}等人,J.Appl。日志。25补遗,S48--S71(2017;Zbl 1436.03172) 全文: 内政部
海因里希·瓦辛 重印:“更一般的证明理论”。 (英语) Zbl 1436.03295号 J.应用。日志。 25补遗,S25-S47(2017).MSC公司:03财年03 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing},J.应用。日志。25补遗,S25--S47(2017;Zbl 1436.03295) 全文: 内政部
孙欣;利维奥·罗巴尔多 关于输入/输出逻辑的复杂性。 (英语) Zbl 1436.03142号 J.应用。日志。 25, 69-88 (2017).MSC公司:03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Sun}和\textit{L.Robaldo},J.Appl。日志。25、69-88(2017;Zbl 1436.03142) 全文: 内政部 链接
海因里希·瓦辛 更一般的证明理论。 (英语) Zbl 1436.03294号 J.应用。日志。 25, 23-46 (2017).MSC公司:03财年03 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing},J.应用。日志。25、23-46(2017;Zbl 1436.03294) 全文: 内政部
科斯塔,维森特;皮拉尔·德尔隆德 关于模糊泛Horn类中自由模型的存在性。 (英语) Zbl 1436.03158号 J.应用。日志。 23, 3-15 (2017).MSC公司:03B52号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.Costa}和\textit{P.Dellunde},J.Appl。日志。23,3-15(2017年;兹bl 1436.03158) 全文: 内政部 arXiv公司 链接
加布里埃尔·克恩·伊斯伯纳;丹尼尔·胡弗曼 多重迭代信念改变需要什么样的独立性? (英语) Zbl 1436.03112号 J.应用。日志。 22, 91-119 (2017).MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Kern-Isberner}和\textit{D.Huvermann},J.Appl。日志。22、91——119(2017;Zbl 1436.03112) 全文: 内政部
斯诺,保罗 有限概率协议的有序可信度对比语义。 (英语) Zbl 1436.60007号 J.应用。日志。 2017年14月22日至27日.MSC公司:60A05型 60欧元15 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{P.Snow},J.应用。日志。22、14-27(2017年;Zbl 1436.60007) 全文: 内政部
格里戈里·K·奥尔霍维科夫。 作为经典FOL片段的基本模态直觉主义逻辑的表达能力。 (英语) Zbl 1436.03140号 J.应用。日志。 21, 57-90 (2017).MSC公司:03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.K.Olkhovikov},J.应用。日志。21、57-90(2017年;Zbl 1436.03140) 全文: 内政部 arXiv公司
John C.McCabe-Dansted。;雷诺兹,马克 重写\(\mathrm{CTL}^\ast\)的规则。 (英语) Zbl 1436.03124号 J.应用。日志。 21, 24-56 (2017).MSC公司:03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}和textit{M.Reynolds},J.Appl。日志。21、24-56(2017年;Zbl 1436.03124) 全文: 内政部
帕维尔·瑙莫夫;陶,贾 隐私的代价。 (英语) Zbl 1442.68240号 J.应用。日志。 20, 32-48 (2017).MSC公司:68T42型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao},J.Appl。日志。20,32-48(2017;Zbl 1442.68240) 全文: 内政部 链接
保罗·D·索恩。;格哈德·舒尔茨 变熵水平下的定性概率推理。 (英语) Zbl 1436.03151号 J.应用。日志。 第二部分第19章,87-101(2016).MSC公司:03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Thorn}和\textit{G.Schurz},J.Appl。日志。19,第2部分,87-101(2016;Zbl 1436.03151) 全文: 内政部
列文·德科克;伊戈尔·杜文;玛尔塔·斯兹纳杰德 无差别的几何原理。 (英语) Zbl 1436.03031号 J.应用。日志。 19,第2部分,54-70(2016).MSC公司:03A05号 03B48号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Decock}等人,J.Appl。日志。19,第2部分,54--70(2016;Zbl 1436.03031) 全文: 内政部
贾格尔,格哈德;米歇尔·马蒂 直觉主义的常识或信仰。 (英语) Zbl 1436.03111号 J.应用。日志。 18, 150-163 (2016).MSC公司:03B42号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}和\textit{M.Marti},J.Appl。日志。18、150-163(2016年;Zbl 1436.03111) 全文: 内政部
贾斯汀·杰科特;伊曼纽尔·热那特;弗兰克·曾克 从合理的偏好,通过论证,到逻辑。 (英语) Zbl 1436.03171号 J.应用。日志。 18, 105-128 (2016).MSC公司:03B65号 91A40型 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jacot}等人,J.Appl。日志。18105-128(2016年;兹bl 1436.03171) 全文: 内政部
法鲁兹卡马雷丁;乔纳森·塞尔丁。;威尔斯,J.B。 将柯里和丘奇的打字风格结合起来。 (英语) Zbl 1436.03106号 J.应用。日志。 18, 42-70 (2016).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}等人,J.Appl。日志。18、42——70(2016;Zbl 1436.03106) 全文: 内政部
索科菲·古尔巴尼 环形扭转结构。 (英语) Zbl 1436.03321号 J.应用。日志。 18, 1-18 (2016).MSC公司:03G25号 03B53号 08C15号 PDF格式BibTeX公司 XML格式引用 \文本{S.Ghorbani},J.Appl。日志。18、1-18(2016年;Zbl 1436.03321) 全文: 内政部
乔安娜·戈林斯卡·皮拉雷克;埃米利奥·穆尼奥斯·韦拉斯科;安杰尔·莫拉 表简化:朝向模态必要性的最优决策程序。 (英语) Zbl 1436.03132号 J.应用。日志。 17, 14-24 (2016).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Golin ska-Pilarek}等人,J.Appl。日志。17、14-24(2016;Zbl 1436.03132) 全文: 内政部
毛里西奥·奥索里奥·加林多;维罗尼察博尔贾·马西亚斯;阿拉佐拉·拉米雷斯(Arrazola Ramírez)、何塞·拉蒙·恩里克(JoséRamón Enrique) 重新审视达科斯塔逻辑。 (英语) Zbl 1437.03104号 J.应用。日志。 16, 111-127 (2016).MSC公司:03B53号 03B20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Osorio Galindo}等人,J.Appl。日志。16、111-127(2016;Zbl 1437.03104) 全文: 内政部
徐文燕 具有聚类和排序的循环演算系统。 (英语) Zbl 1436.03180号 J.应用。日志。 16, 37-49 (2016).MSC公司:03B70号 03B47号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{W.Xu},J.应用。日志。16、37-49(2016;Zbl 1436.03180) 全文: 内政部 arXiv公司
菲利普·巴尔比亚尼 推理所有超实集合中的可忽略性和接近性。 (英语) 兹比尔1436.03326 J.应用。日志。 16, 14-36 (2016).MSC公司:05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani},J.应用。日志。16、14-36(2016;Zbl 1436.03326) 全文: 内政部
诺里希罗·卡米德 成串的顺序信息。 (英语) Zbl 1436.03144号 J.应用。日志。 15, 150-170 (2016).MSC公司:03B47号 03B45号 03B70号 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.应用。日志。15、150-170(2016年;Zbl 1436.03144) 全文: 内政部
罗伯特·德莫洛姆;路易斯·法利尼亚斯·德尔·塞罗;纳吉·奥贝德 通过完备性理论将一阶公式转换为基本公式。 (英语) Zbl 1436.03100号 J.应用。日志。 15, 130-149 (2016).MSC公司:03B35型 68T27型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Demolombe}等人,J.Appl。日志。15、130-149(2016年;Zbl 1436.03100) 全文: 内政部
阿姆诺·罗森曼 用于硬件电路设计和验证的多值逻辑方法。 (英语) Zbl 1436.68198号 J.应用。日志。 15, 69-93 (2016).MSC公司:60年第68季度 03B50号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{A.Rosenmann},J.Appl。日志。15,69-93(2016年;兹比尔1436.68198) 全文: 内政部 arXiv公司
阿金库米,B.O。 时间多次重复理论中的重合问题。 (英语) Zbl 1436.03119号 J.应用。日志。 15, 46-68 (2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.O.Akinkummi},J.应用。日志。15、46-68(2016年;Zbl 1436.03119) 全文: 内政部 arXiv公司
塔赫勒·罗内尔;阿莱纳·芬科夫斯卡 签名可交换性原则。 (英语) Zbl 1436.03149号 J.应用。日志。 15, 16-45 (2016).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ronel}和\textit{A.Vencovská},J.Appl。日志。15、16-45(2016;Zbl 1436.03149) 全文: 内政部
乔纳森·劳里 边界线和边界概率:关于模糊性和不确定性之间的相互联系。 (英语) Zbl 1334.03019号 J.应用。日志。 14, 113-138 (2016).MSC公司:03B48号 03B50号 PDF格式BibTeX公司 XML格式引用 \文本{J.Lawry},J.Appl。日志。14、113--138(2016;Zbl 1334.03019) 全文: 内政部
帕维尔·詹达 测量多值逻辑系统中不确定多弹性状态的不精确性。 (英语) Zbl 1334.03021号 J.应用。日志。 14, 95-112 (2016).MSC公司:03B50号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Janda},J.Appl(J.詹达)。日志。14、95——112(2016;Zbl 1334.03021) 全文: 内政部
埃里克·雷德尔 更新程序。 (英语) Zbl 1436.03148号 J.应用。日志。 14, 65-94 (2016).MSC公司:03B48号 03B53号 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{E.Raidl},J.应用。日志。14、65-94(2016;Zbl 1436.03148) 全文: 内政部
安吉洛·吉利奥;尼基·菲弗;朱塞佩·桑菲利波 相干概率逻辑中的传递性。 (英语) Zbl 1436.03146号 J.应用。日志。 14, 46-64 (2016).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gilio}等人,J.Appl。日志。14、46-64(2016;Zbl 1436.03146) 全文: 内政部
霍沃思,E。;巴黎,J.B。;A.文科瓦斯卡。 在纯归纳逻辑中检查SEP候选类比推理规则。 (英语) Zbl 1436.03147号 J.应用。日志。 14, 22-45 (2016).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{E.Howarth}等人,J.Appl。日志。14、22-45(2016;Zbl 1436.03147) 全文: 内政部
特迪·格罗夫斯 拉卡托斯对卡纳皮亚归纳逻辑的批评是错误的。 (英语) 兹伯利1436.03038 J.应用。日志。 14, 3-21 (2016).MSC公司:03A05号 03B48号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Groves},J.Appl(J.格罗夫斯)。日志。14,3--21(2016;Zbl 1436.03038) 全文: 内政部
奥费尔·阿列利 约束论证框架的无冲突和容错语义。 (英语) Zbl 1394.68363号 J.应用。日志。 13,第4号,第2部分,582-604(2015).MSC公司:68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli},J.Appl(J.应用程序)。日志。13,第4号,第2部分,582--604(2015;Zbl 1394.68363) 全文: 内政部
劳伦斯·霍尔维 走向逻辑信念函数理论。 (英语) Zbl 1378.03013号 J.应用。日志。 13,第4号,第1部分,441-457(2015).MSC公司:03B42号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{L.Cholvy},J.应用。日志。13,第4号,第1部分,441--457(2015;Zbl 1378.03013) 全文: 内政部
尼科·波提卡;克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 关系概率信念状态的演化及其在最优熵语义下的变化计算的概念。 (英语) Zbl 1401.68326号 J.应用。日志。 13,第4号,第1部分,414-440(2015).MSC公司:68层37 03B42号 03B48号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.Potyka}等人,J.Appl。日志。13,第4号,第1部分,414--440(2015;Zbl 1401.68326) 全文: 内政部
Wáng,YN。;托马斯·奥戈特内斯 动态认知逻辑的相关常识。 (英语) Zbl 1378.03015号 J.应用。日志。 13,第3号,370-393(2015).MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.N.Wáng}和\textit{T.奥戈特内斯},J.Appl。日志。13,第3号,370-393(2015;Zbl 1378.03015) 全文: 内政部
Eric A.Martin。 作为经典推理的逻辑编程。 (英语) Zbl 1521.68030号 J.应用。日志。 13,第3号,316-369(2015).MSC公司:68N17号 03B45号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Martin},J.Appl。日志。13、编号3、316-369(2015;Zbl 1521.68030) 全文: 内政部
奥顿·斯托尔佩 输入/输出逻辑的概念方法。 (英语) Zbl 1378.03020号 J.应用。日志。 13,第3期,239-258(2015).MSC公司:03B45号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Stolpe},J.应用。日志。13,第3号,239--258(2015;Zbl 1378.03020) 全文: 内政部
安德烈·瓦西利琴科 朝向投射识别的逻辑。 (英语) Zbl 1330.03028号 J.应用。日志。 13,第3期,197-214(2015).MSC公司:03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vasylchenko},J.应用。日志。13,第3号,197--214(2015;Zbl 1330.03028) 全文: 内政部
吉尔曼·佩耶特 反思规则:关于演绎定理推广的注记。 (英语) Zbl 1378.03019号 J.应用。日志。 13,第3期,188-196(2015).MSC公司:03B45号 03B60号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{G.Payette},J.Appl(J.帕耶特)。日志。13,第3号,188--196(2015;Zbl 1378.03019) 全文: 内政部
尼西姆·弗朗西兹 限定词的一个证明理论的普遍性质。 (英语) Zbl 1386.03029号 J.应用。日志。 13,第4号,第3部分,799-808(2015).MSC公司:03B65号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},J.Appl(新闻稿)。日志。13,第4号,第3部分,799--808(2015;Zbl 1386.03029) 全文: 内政部
费萨尔·图阿兹;克劳德特·凯罗尔;迪迪埃·杜布瓦 部分有序信念的可能性推理。 (英语) Zbl 1386.03030号 J.应用。日志。 13,第4号,第3部分,770-798(2015).MSC公司:03B70号 03B42号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{F.Touazi}等人,J.Appl。日志。13,第4号,第3部分,770--798(2015;Zbl 1386.03030) 全文: 内政部
张燕;朱兆辉;张金金;周勇(Zhou,Yong) 公理化Lüttgen&Vogler的有限过程就绪模拟{CLL}_{R} \)。 (英语) Zbl 1457.68196号 J.应用。日志。 第3部分第4号第13条,654-675(2015).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,J.Appl。日志。13,第4号,第3部分,654--675(2015;Zbl 1457.68196) 全文: 内政部 arXiv公司
克里斯托夫,佐伊;延斯·乌尔里克·汉森 社交网络中传播的逻辑。 (英语) Zbl 1311.03037号 J.应用。日志。 13,第1期,48-77(2015).MSC公司:03B45号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{Z.Christoff}和\textit{J.U.Hansen},J.Appl。日志。13,第1号,48--77(2015;Zbl 1311.03037) 全文: 内政部 链接
洛伦佐·马格纳尼 使逻辑自然化。 (英语) 兹比尔1311.03021 J.应用。日志。 13,第1期,13-36(2015).MSC公司:03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Magnani},J.应用。日志。13,第1号,13-36(2015;Zbl 1311.03021) 全文: 内政部
安妮·普雷勒 双产品匕首类别中的自然语言语义。 (英语) Zbl 1335.03029号 J.应用。日志。 12,第1期,88-108(2014).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Preller},J.Appl.(编辑:顾萍)。日志。12,第1号,88-108(2014年;兹bl 1335.03029) 全文: 内政部
尼古拉斯·阿舍 选择性限制、类型和类别。 (英语) Zbl 1335.03028号 J.应用。日志。 12,第1期,75-87(2014).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{N.Asher},J.Appl(新闻稿)。日志。12,第1号,75--87(2014;Zbl 1335.03028) 全文: 内政部
狄奥·库曼斯;梅·盖尔克;Lorijn,van Rooijen 全线性逻辑的关系语义。 (英语) Zbl 1335.03063号 J.应用。日志。 第1期第12期,50-66页(2014年).MSC公司:03楼52 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{D.Coumans}等人,J.Appl。日志。12,第1号,50--66(2014;Zbl 1335.03063) 全文: 内政部
斯特里彻,T。 单形集合中的类型理论模型。简要介绍沃沃德斯基的同伦类型理论。 (英语) 兹比尔1335.03010 J.应用。日志。 12,第1期,45-49(2014).MSC公司:03B15号机组 03G30型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{T.Streicher},J.应用。日志。12、1号、45-49(2014;Zbl 1335.03010) 全文: 内政部
弗朗索瓦·拉马克 在类别中对Martin-Löf类型理论进行建模。 (英语) Zbl 1335.03009号 J.应用。日志。 12,第1期,28-44(2014).MSC公司:03B15号机组 03G30型 18天30分 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{F.Lamarche},J.应用。日志。12、第1号、第28-44号(2014;Zbl 1335.03009) 全文: 内政部
吉恩·吉利伯特(编辑);克里斯蒂安·雷托雷(编辑) 范畴理论、逻辑和形式语言学:新旧联系。 (英语) Zbl 1335.03002号 J.应用。日志。 12,第1期,第1-13页(2014年).MSC公司:03-06 03B15号机组 03B65号 03楼52 03G30型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gillibert}(编辑)和textit{C.Retoré}(主编),J.Appl。日志。12、第1号、第1-13号(2014;Zbl 1335.03002) 全文: 内政部 arXiv公司
弗兰兹·巴德;马赛尔·利普曼 使用时间描述逻辑进行运行时验证-重新访问LTL。 (英语) Zbl 1310.68140号 J.应用。日志。 12,第4号,584-613(2014).MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{M.Lippmann},J.应用。日志。12,第4号,584--613(2014;Zbl 1310.68140) 全文: 内政部
Dov Gabbay公司;伊利亚州夏皮罗夫斯基;瓦伦丁·谢特曼 模态逻辑的乘积和模态代数的张量积。 (英语) Zbl 1345.03038号 J.应用。日志。 12,第4期,570-583(2014).MSC公司:03B45号 03B62号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}等人,J.Appl。日志。12,第4号,570--583(2014;Zbl 1345.03038) 全文: 内政部
达戈斯蒂诺,马塞洛;马里奥广场;加布里埃尔·普奇尼 控制单调性的一种逻辑演算。 (英语) Zbl 1345.03102号 J.应用。日志。 12,第4期,558-569(2014).MSC公司:05年3月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}等人,J.Appl。日志。12,第4号,558--569(2014;Zbl 1345.03102) 全文: 内政部
马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫岑蒂;马蒂奥·普拉德拉;罗西,马蒂奥;圣彼得罗,皮耶路易吉 无自动机约束LTL可满足性检查。 (英语) Zbl 1310.68141号 J.应用。日志。 12,第4期,522-557(2014).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,J.Appl。日志。12,第4号,522--557(2014;Zbl 1310.68141) 全文: 内政部 arXiv公司
苏希拉·卡奇;纳姆拉塔·帕特尔 基于假设的比较偏好陈述分析。 (英语) Zbl 1301.03030号 J.应用。日志。 12,第4期,501-521(2014).MSC公司:03B60号 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kaci}和\textit{N.Patel},J.Appl。日志。12,第4号,501--521(2014;Zbl 1301.03030) 全文: 内政部 链接
Judit X·马达拉斯。;谢凯利(Székely,Gergely) 超光速粒子的存在符合相对论动力学。 (英语) Zbl 1301.83004号 J.应用。日志。 12,第4期,477-500(2014).MSC公司:83A05号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.X.Madarász}和\textit{G.székely},J.Appl。日志。12,第4号,477--500(2014;Zbl 1301.83004) 全文: 内政部 arXiv公司
Kließ,医学硕士。;巴黎,J.B。 二阶归纳逻辑和威尔默斯原理。 (英语) Zbl 1395.03013号 J.应用。日志。 第462-476号第12页(2014年).MSC公司:03B48号 03B15号机组 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kließ}和\textit{J.B.Paris},J.Appl。日志。12,第4号,462--476(2014;Zbl 1395.03013) 全文: 内政部
克莱顿·彼得森 范畴命令:作为道义逻辑基础的范畴理论。 (英语) Zbl 1395.03010号 J.应用。日志。 12,第4期,417-461(2014).MSC公司:03B45号 18B99型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Peterson},J.应用。日志。12,第4号,417--461(2014;Zbl 1395.03010) 全文: 内政部
贝内迪克特·博利格;西里亚克,爱斯瓦里亚;保罗·加斯丁;马克·泽顿 并发递归程序的时态逻辑:可满足性和模型检查。 (英语) 兹比尔1310.68142 J.应用。日志。 12,第4号,395-416(2014).MSC公司:60年第68季度 03B44号 68纳米30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,J.Appl。日志。12,第4号,395--416(2014;Zbl 1310.68142) 全文: 内政部
布鲁诺·特奥 用于搜索有错误游戏的命题动态逻辑。 (英语) Zbl 1395.03011号 J.应用。日志。 第4期第12期,第377-394页(2014年).MSC公司:03B45号 03B50号 03B70号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{B.Teheux},J.应用。日志。12,第4号,377--394(2014;Zbl 1395.03011) 全文: 内政部 arXiv公司
Dana S.斯科特。 随机计算:一种扩展的抽象。 (英语) Zbl 1352.03020号 J.应用。日志。 12,第3期,369-376(2014).MSC公司:03B40型 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Scott},J.Appl(J.应用程序)。日志。12,编号3,369--376(2014年;兹bl 1352.03020) 全文: 内政部
格劳贝尔·德博纳;法比奥·加利亚迪·科兹曼;马塞洛·芬格 对命题概率逻辑进行分类。 (英语) Zbl 1352.03032号 J.应用。日志。 12,第3期,349-368(2014).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{G.De Bona}等人,J.Appl。日志。12,第3号,349--368(2014;Zbl 1352.03032) 全文: 内政部
肖恩·沃尔什 经验主义、概率论和算术知识:初步辩护。 (英语) Zbl 1352.03011号 J.应用。日志。 12,第3期,319-348(2014).MSC公司:03A05号 00A30型 03B48号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Walsh},J.Appl。日志。12,第3号,319--348(2014;Zbl 1352.03011) 全文: 内政部
特迪·格罗夫斯 卡纳皮亚归纳逻辑在统计哲学论证中的应用。 (英语) Zbl 1352.03007号 J.应用。日志。 12,第3期,302-318(2014).MSC公司:03A05号 03B48号 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{T.Groves},J.Appl(J.格罗夫斯)。日志。12,第3号,302-318(2014;Zbl 1352.03007) 全文: 内政部
托马索·弗拉米尼奥;路易斯·戈多;海克尔·霍斯尼 论德菲内蒂事件概念的逻辑结构。 (英语) Zbl 1352.03033号 J.应用。日志。 2014年第3期第12期第279-301页.MSC公司:03B48号 03B42号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Flaminio}等人,J.Appl。日志。12,第3号,279--301(2014;Zbl 1352.03033) 全文: 内政部 链接
伊戈尔·杜文 推理证据。 (英语) Zbl 1352.03006号 J.应用。日志。 12,第3期,263-278(2014).MSC公司:03A05号 03B48号 60A05型 62A01型 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{I.Douven},J.Appl.(《应用》杂志)。日志。12,第3号,263--278(2014;Zbl 1352.03006) 全文: 内政部
彼得·米尔恩 信息、确认和条件。 (英语) 兹比尔1352.03010 J.应用。日志。 12,第3期,252-262(2014).MSC公司:03A05号 03B48号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Milne},J.Appl(J.米尔恩)。日志。12,第3号,252--262(2014;Zbl 1352.03010) 全文: 内政部
阿兰·哈杰克 反事实概率和反事实概率。 (英语) Zbl 1352.03008号 J.应用。日志。 12,第3期,235-251(2014).MSC公司:03A05号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.Hájek},J.Appl。日志。12,第3号,235-251(2014年;兹bl 1352.03008) 全文: 内政部
尼基·菲弗(编辑) 编者按:结合概率和逻辑解决哲学问题的专刊。 (英语) Zbl 1298.00339号 J.应用。日志。 12,第3期,233-234(2014).MSC公司:00B25型 03-06 03A05号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{N.Pfeifer}(编辑),J.Appl。日志。12,第3号,233--234(2014;Zbl 1298.00339) 全文: 内政部
文森佐·克鲁皮;卡提亚·腾多里 “确认为部分暗示”勘误表。 (英语) Zbl 1284.03158号 J.应用。日志。 12,第2期,230-231(2014).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{V.Crupi}和\textit{K.Tentori},J.Appl。日志。12,第2号,230--231(2014;Zbl 1284.03158) 全文: 内政部
博扬·马里科维奇;佐兰·奥格尼亚诺维奇;道德,德拉甘;阿列克桑达尔·佩罗维奇 时间流同构于(ω^2)的命题线性时间逻辑。 (英语) Zbl 1328.03017号 J.应用。日志。 12,第2期,208-229(2014).MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人,J.Appl。日志。12,第2号,208--229(2014;Zbl 1328.03017) 全文: 内政部 arXiv公司
路易斯·法利尼亚斯·德尔·塞罗;安德烈亚斯·赫齐格;苏·埃兹吉·伊拉兹 捕获模态逻辑中的平衡模型。 (英语) Zbl 1328.03018号 J.应用。日志。 192-207年第2期第12页(2014年).MSC公司:03B45号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Fariñas del Cerro}等人,J.Appl。日志。12,第2号,192--207(2014;Zbl 1328.03018) 全文: 内政部
Dov Gabbay公司;洛伊奇甘迈托尼;孙欣 基于操作的解决方案的权限悖论。 (英语) Zbl 1317.03025号 J.应用。日志。 12,第2期,179-191(2014). 审核人:吉姆·麦肯齐(悉尼) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}等人,J.Appl。日志。12,第2号,179--191(2014;Zbl 1317.03025) 全文: 内政部
加文·雷恩斯;托马斯·梅耶;格哈德·莱克梅耶 SLAP:具有概率的动作的规范逻辑。 (英语) Zbl 1327.68164号 J.应用。日志。 12,第2期,128-150(2014).MSC公司:60年第68季度 03B35型 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rens}等人,J.Appl。日志。12,编号2128-150(2014;兹bl 1327.68164) 全文: 内政部
阿图尔·达维拉·加塞斯。;Dov M.加巴伊。;路易斯·兰姆。 论证的神经认知模型及其在法律推理和决策中的应用。 (英语) Zbl 1327.68264号 J.应用。日志。 12,第2号,109-127(2014).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.d'Avila Garcez}等人,J.Appl。日志。12,第2号,109--127(2014;Zbl 1327.68264) 全文: 内政部
迈克尔·蒂姆金 偶然事件逻辑的连续演算。 (英语) 兹比尔1284.03256 J.应用。日志。 11,第4期,530-535(2013).MSC公司:07年3月 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tiomkin},J.应用。日志。11,第4号,530--535(2013;Zbl 1284.03256) 全文: 内政部
安德鲁·戴维·欧文 第7节。 (英语) Zbl 1284.03151号 J.应用。日志。 11,第4期,523-529(2013).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Irvine},J.Appl.(《应用杂志》)。日志。11,第4号,523--529(2013;Zbl 1284.03151) 全文: 内政部
费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。;费尔南多·索勒·托斯卡诺;Nepomuceno Fernández,安吉尔 溯因推理的认知和动态方法:溯因问题和溯因解决方案。 (英语) Zbl 1284.03147号 J.应用。日志。 11,第4期,505-522(2013).MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Velázquez-Quesada}等人,J.Appl。日志。11,第4号,505--522(2013;Zbl 1284.03147) 全文: 内政部
鲁里克·霍尔姆 卡尔纳普归纳逻辑中的无限性和可验证性。 (英语) Zbl 1284.03160号 J.应用。日志。 11,第4期,487-504(2013).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{R.Holm},J.应用。日志。11,第4号,487--504(2013;Zbl 1284.03160) 全文: 内政部
乔恩·威廉姆森 从贝叶斯认识论到归纳逻辑。 (英语) Zbl 1284.03166号 J.应用。日志。 11,第4期,468-486(2013).MSC公司:03B48号 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Williamson},J.Appl。日志。11,第4号,468--486(2013;Zbl 1284.03166) 全文: 内政部
瓦苏德万,A。 关于概率的先验和后验评估。 (英语) Zbl 1284.03164号 J.应用。日志。 11,第4号,440-451(2013).MSC公司:03B48号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Vasudevan},J.Appl(J.应用)。日志。11,第4号,440-451(2013;Zbl 1284.03164) 全文: 内政部
詹·威勒姆·罗梅因 被贝叶斯绑架? (英语) Zbl 1284.03163号 J.应用。日志。 11,第4期,430-439(2013).MSC公司:03B48号 62A01型 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{J.-W.Romeijn},J.应用。日志。11,第4号,430--439(2013;Zbl 1284.03163) 全文: 内政部
巴黎,J.B。 卡纳普连续性和随机独立性的观察。 (英语) Zbl 1284.03162号 J.应用。日志。 11,第4号,421-429(2013).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Paris},J.Appl.(J·B·巴黎)。日志。11,第4号,421--429(2013;Zbl 1284.03162) 全文: 内政部
马库斯·哈特;约翰·劳埃德。;吴基祥;威廉·T·B·乌瑟尔。 表达逻辑中句子的概率。 (英语) Zbl 1284.03161号 J.应用。日志。 11,第4期,386-420(2013).MSC公司:03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Hutter}等人,J.Appl。日志。11,第4号,386--420(2013;Zbl 1284.03161) 全文: 内政部 arXiv公司
哈伊姆·盖夫曼 确定性原理、膨胀和客观概率。 (英语) Zbl 1284.03159号 J.应用。日志。 11,第4期,373-385(2013).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{H.Gaifman},J.应用。日志。11,第4号,373--385(2013;Zbl 1284.03159) 全文: 内政部
文森佐·克鲁皮;卡提亚·腾多里 作为部分蕴涵的确认:归纳逻辑中的一个表示定理。 (英语) Zbl 1284.03157号 J.应用。日志。 11,第4期,364-372(2013); 勘误表同上12,第2号,230-231(2014)。MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{V.Crupi}和\textit{K.Tentori},J.Appl。日志。11,第4号,364--372(2013;Zbl 1284.03157) 全文: 内政部
杰弗里·赫尔兹纳(编辑) 概率与逻辑的结合:来自Progic 2011的论文。 (英语) 兹比尔1284.03019 J.应用。日志。 11,第4号,363(2013).MSC公司:03-06 03B48号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Helzner}(编辑),J.Appl。日志。11、第4、363号(2013;Zbl 1284.03019) 全文: 内政部
埃琳娜·扎伊塞娃;维塔利·列瓦申科 多状态系统可靠性分析的多值逻辑数学方法。 (英语) Zbl 1284.03170号 J.应用。日志。 第3期第11期,第350-362页(2013年).MSC公司:03B50号 2005年第68季度 90秒25 PDF格式BibTeX公司 XML格式引用 \textit{E.Zaitseva}和\textit{V.Levashenko},J.Appl。日志。11,第3号,350-362(2013;Zbl 1284.03170) 全文: 内政部
塞尔纳达斯,C。;J·拉斯加。;塞尔纳达斯,A。 通过矩阵逻辑的乘积保持Craig插值。 (英语) Zbl 1284.03214号 J.应用。日志。 11,第3期,328-349(2013).MSC公司:03C40号 03B62号 PDF格式BibTeX公司 XML格式引用 \文本{C.Sernadas}等人,J.Appl。日志。11,第3号,328--349(2013;Zbl 1284.03214) 全文: 内政部
詹姆斯·盖特;伊恩·斯图尔特(Iain A.Stewart)。 混合图逻辑片段在有限有向图上的可表达性。 (英语) Zbl 1284.03206号 J.应用。日志。 11,第3期,272-288(2013).MSC公司:03B70号 03B45号 03C13号机组 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gate}和\textit{I.A.Stewart},J.Appl。日志。11,第3号,272--288(2013;Zbl 1284.03206) 全文: 内政部
刘、胡;任、袁;温雪峰 模拟信念逻辑。 (英语) Zbl 1284.03144号 J.应用。日志。 11,第2期,217-228(2013).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{H.Liu}等人,J.Appl。日志。11,第2号,217--228(2013;Zbl 1284.03144) 全文: 内政部
斯坦尼斯拉夫·基科特;叶夫根·佐林 具有自由变量和查询回答的一阶公式的模态可定义性。 (英语) Zbl 1284.03152号 J.应用。日志。 11,第2期,190-216(2013).MSC公司:03B45号 03B10号机组 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kikot}和\textit{E.Zolin},J.Appl。日志。11,第2号,190--216(2013;Zbl 1284.03152) 全文: 内政部
翁贝托·里维奇奥 交错三边格的表示。 (英语) Zbl 1284.03282号 J.应用。日志。 11,第2期,174-189(2013).MSC公司:03G25号 03B50号 06B75号 PDF格式BibTeX公司 XML格式引用 \文本{U.Rivieccio},J.Appl。日志。11,第2号,174--189(2013;Zbl 1284.03282) 全文: 内政部
雅切克·科纳泽夫斯基;马吕斯·伊内尔 关于欧几里德几何中子空间正交性的注记。 (英语) Zbl 1284.51010号 J.应用。日志。 11,第2期,169-173(2013).MSC公司:51层20 03B30型 03C40号 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{J.Konarzewski}和\textit{M.ynel},J.Appl。日志。11,第2号,169--173(2013;Zbl 1284.51010) 全文: 内政部 arXiv公司
贝伦,马修;克里斯蒂安·斯特拉 两个正态分布的自适应逻辑。 (英语) Zbl 1284.03194号 J.应用。日志。 11,第2期,147-168(2013).MSC公司:03B53号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Beirlaen}和\textit{C.Straßer},J.Appl。日志。11,第2号,147--168(2013;Zbl 1284.03194) 全文: 内政部 链接
Dov M.加巴伊。 反应型Kripke模型和违背职责的义务。第一部分:语义。 (英语) Zbl 1269.03025号 J.应用。日志。 11,第1期,103-136(2013). 审核人:David Makinson(伦敦) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay},J.Appl.(J.应用程序)。日志。11,编号103-136(2013;兹bl 1269.03025) 全文: 内政部 链接
M·亚伯拉罕。;贝尔弗,I。;D.M.加巴伊。;美国施罗德。 塔木德公告逻辑中实体的未来决定。 (英语) Zbl 1280.03017号 J.应用。日志。 11,No.1,63-90(2013).MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abraham}等人,J.Appl。日志。11,第1号,63--90(2013;Zbl 1280.03017) 全文: 内政部
克莱尔·狄克逊;鲍里斯·科涅夫;迈克尔·费希尔;谢利·尼蒂亚迪 带约束的演绎时间推理。 (英语) Zbl 1262.03032号 J.应用。日志。 11,第1期,30-51页(2013年).MSC公司:03B44号 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,J.Appl。日志。11、1号、30--51(2013;Zbl 1262.03032) 全文: 内政部