×

找到575个文档（结果1-100）

最新的 引文 关联
斯蒂芬·伊戈列维奇·巴什马科夫；基里尔·亚历克桑德罗维奇·斯梅利克

多代理计算树逻辑的关系版本\（\mathcal{CTLK}\）。 （俄语。英文摘要） Zbl 07832085号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 78-92 (2024).
MSC公司：03B44号 03B42号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.I.Bashmakov}和\textit{K.A.Smelykh}，Izv。伊尔库茨克。戈斯。州立大学。材料47、78--92（2024；Zbl 07832085）
全文： 内政部 链接
托马斯·弗格森；潘奇阿，维特

结构完备性和超直觉的查询逻辑。 （英语） 兹伯利07810565

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 194-210 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Ferguson}和\textit{V.Punčochá}，Lect。注释计算。科学。13923194-210（2023；Zbl 07810565）
全文： 内政部
松田直介；Kento Takagi

什么样的连接词导致直觉谓词逻辑和常量域逻辑之间的差异？ （英语） Zbl 07691322号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 175-189 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Matsuda}和\textit{K.Takagi}，莱克特。注释计算。科学。13468，175--189（2022；Zbl 07691322）
全文： 内政部 arXiv公司
罗伯特·戈德布拉特

一些遗传不可解空间的模态逻辑。 （英语） 兹布尔07469214

Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 303-322 (2022).
MSC公司：03B45号 54层99
PDF格式BibTeX公司 XML格式引用
\textit{R.Goldblatt}，奥斯特。控制日志。22303--322（2022；Zbl 07469214）
全文： 内政部 arXiv公司
卫斯理·H·霍利迪。

好奇的直觉主义逻辑。 （英语） Zbl 07585721号

Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。329-348 (2020).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{W.H.Holliday}，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。329--348（2020；Zbl 07585721）
拉杰夫·戈雷；伊恩·希利托

双教学逻辑：旧问题的新实例。 （英语） 兹伯利07585718

Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。269-288 (2020).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}和\textit{I.Shillito}，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。269--288（2020；Zbl 07585718）
丁一峰；卫斯理·H·霍利迪。

可能世界语义中的另一个问题。 （英语） Zbl 07585712号

Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。149-168 (2020).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ding}和\textit{W.H.Holliday}，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。149-168（2020年；Zbl 07585712）
西尔维娅·吉勒赞；Jelena Ivetić；西蒙娜·卡什特罗维奇；佐兰·奥格尼亚诺维奇；内纳德·萨维奇

面向类型理论中的概率推理——交叉类型案例。 （英语） Zbl 07266049号

Andreas Herzig等人，《信息和知识系统基础》。第十一届国际研讨会，2020年2月17日至21日，德国多特蒙德，FoIKS 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12012122-139（2020年）。
MSC公司：第68页，共15页 68T27型 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilezan}等人，Lect。注释计算。科学。12012、122--139（2020；Zbl 07266049）
全文： 内政部
蒂姆·里昂

从语义系统导出直觉逻辑的嵌套计算。 （英语） Zbl 1485.03021号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2020年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2020国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11972, 177-194 (2020).
MSC公司：03B20型 03财年03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{T.里昂}，莱克特。注释计算。科学。11972、177--194（2020；Zbl 1485.03021）
全文： 内政部 arXiv公司
范杰

通往超滤扩展的道路。 （英语） Zbl 1469.03048号

廖北水（编辑）等，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，117-133 (2019).
MSC公司：03B45号 03C20号
PDF格式BibTeX公司 XML格式引用
\textit{J.Fan}，in：动力学、不确定性和推理。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。117-133（2019年；兹比尔1469.03048）
全文： 内政部 arXiv公司
德米特里·斯科沃尔佐夫

关于具有常数域的有限高度Kripke框架的超直觉谓词逻辑的一点注记：一个更简单的非强完备Kripke-完备逻辑。 （英语） Zbl 1418.03132号

Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。577-590 (2018).
MSC公司：03B55号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Skvortsov}，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。577--590（2018；Zbl 1418.03132）
瓦伦丁·谢特曼

用密度公理讨论某些模态谓词逻辑的Kripke完备性。 （英语） Zbl 1418.03102号

Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。559-575 (2018).
MSC公司：03B45号 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{V.Shehtman}，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。559-575（2018；Zbl 1418.03102）
文森特·拉里；科恩、利隆；马克·比克福德

由单调库支持的验证定理证明器后端。 （英语） Zbl 1409.68262号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 564-582 (2018).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{V.Rahli}等人，EPiC Ser。计算。57、564--582（2018年；Zbl 1409.68262）
全文： 内政部
西蒙·多尔蒂；大卫·皮姆

分离理论的模块化表格演算。 （英语） Zbl 1506.03073号

Baier，Christel（编辑）等人，《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018，作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10803, 441-458 (2018).
MSC公司：03B47号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Docherty}和\textit{D.Pym}，莱克特。注释计算。科学。10803、441--458（2018；Zbl 1506.03073）
全文： 内政部
刘燕红A。；斯科特·斯托勒。

建立了逻辑规则的语义和约束语义。 （英语） Zbl 1503.68178号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10703222-241（2018年）。
MSC公司：68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.A.Liu}和\textit{S.D.Stoller}，Lect。注释计算。科学。10703、221--241（2018；Zbl 1503.68178）
全文： 内政部 arXiv公司
皮埃尔路易吉·米纳里

关于无限模态逻辑的证明理论和语义的一些评论。 （英语） Zbl 1439.03045号

Kahle，Reinhard（编辑）等人，《证明理论的进展》。2013年12月13日至14日，瑞士伯尔尼，Gerhard Jäger诞辰60周年之际，研讨会记录。巴塞尔：Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 291-318 (2016).
MSC公司：03B45号 03立方厘米75 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.Minari}，程序。计算。科学。申请。日志。28、291--318（2016；Zbl 1439.03045）
全文： 内政部
山崎，坂子；佐野胜彦

从严格蕴涵逻辑扩展到模态逻辑的构造嵌入。 （英语） Zbl 1429.03087号

Yang，Syraya Chin-Mu（编辑）等，非经典逻辑的结构分析。2014年10月24日至25日，第二届台湾哲学逻辑学术研讨会论文集，台湾台北。柏林：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，223-251 (2016).
MSC公司：03B45号 03B20型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Yamasaki}和\textit{K.Sano}，in：非经典逻辑的结构分析。2014年第二届台湾哲学逻辑学术研讨会论文集，台湾台北，2014年10月24-25日。柏林：斯普林格。223--251（2016；Zbl 1429.03087）
全文： 内政部
维罗尼察博尔贾·马西亚斯；米盖尔·佩雷斯·加斯帕

\（\mathrm的Kripke类型语义｛CG｝_3'\). （英语） Zbl 1394.03045号

Arrazola-Ramírez，JoséRamón（编辑）等人，第十届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文集，墨西哥普埃布拉，2016年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》328，17-29（2016）。
MSC公司：03B53号 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{V.Borja Macías}和\textit{M.Pérez-Gaspar}，电子。注释Theor。计算。科学。328、17-29（2016；Zbl 1394.03045）
全文： 内政部
潘奇阿，维特

直觉逻辑的非标准语义框架。 （英语） Zbl 1410.03014号

Arazim，Pavel（编辑）等人，《2015年逻辑年鉴》。2015年6月15日至19日，捷克共和国赫尼茨修道院，第29届年度国际研讨会Logica会议记录。伦敦：学院出版物。179-192 (2016).
MSC公司：03B20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Punčochář}，收录于：《2015年Logica年鉴》。2015年6月15日至19日，捷克共和国赫尼茨修道院，第29届年度国际研讨会Logica会议记录。伦敦：学院出版物。179-192（2016；Zbl 1410.03014）
詹姆斯·布罗瑟斯顿；朱尔斯·维拉德

亚经典布尔束逻辑及其par的含义。 （英语） 兹比尔1373.03042

Kreutzer，Stephan（编辑），第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-90-3）。LIPIcs–莱布尼茨国际信息学论文集41，325-342（2015）。
MSC公司：03B62号 03B45号 03B47号 03B55号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Brotherston}和\textit{J.Villard}，LIPIcs——莱布尼茨国际程序。通知。41325--342（2015；Zbl 1373.03042）
全文： 内政部
保罗·A·S·维洛索。；Sheila R.M.维洛索。；马里奥·贝尼维德斯。

模态逻辑的图方法。 （英语） Zbl 1335.03022号

Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305123-139，仅电子版（2014）。
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{P.A.S.Veloso}等人，《电子》。注释Theor。计算。科学。305123-139（2014年；Zbl 1335.03022）
全文： 内政部
西蒙·克莱默

否定逻辑-完全交互证明（认知决策者的形式理论）。 （英语） Zbl 1337.03029号

de Paiva，Valeria（ed.）等人，与UNILOG 2013联合举办的第六届直觉模态逻辑与应用研讨会（IMLA 2013）论文集，巴西里约热内卢，2013年4月7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记300，47-70（2014）。
MSC公司：03B45号 03B42号 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kramer}，电子。注释Theor。计算。科学。300、47-70（2014年；Zbl 1337.03029）
全文： 内政部 arXiv公司
吉安路易吉·贝林

断言、假设、猜想、期望：粗糙集语义和证明理论。 （英语） Zbl 1342.03028号

Pereira，Luiz Carlos（编辑）等，《自然演绎的进展》。Dag Prawitz工作的庆祝活动。根据2001年巴西里约热内卢“自然演绎”会议上的发言选出的论文。多德雷赫特：施普林格（ISBN 978-94-007-7547-3/hbk；978-94-07-7548-0/电子书）。逻辑趋势——Studia Logica Library 39，193-241（2014）。
MSC公司：03B60号 03B20型 03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bellin｝，趋势日志。螺柱日志。伦敦银行同业拆借利率。39、193--241（2014；Zbl 1342.03028）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件