×

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

最新的 引文 关联
法维奥·埃泽基尔·米兰达·佩雷亚；德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德；Linares Arévalo，皮拉尔·塞琳

构造模态逻辑S4的对偶连续演算。 （英语） Zbl 07676413号

数学。结构。计算。科学。 32，第9期，1205-1233（2022）.
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{F.E.Miranda-Perea}等人，数学。结构。计算。科学。32，编号9，1205--1233（2022；Zbl 07676413）
全文： 内政部
Rooduijn，简；卢卡斯·曾格

常识逻辑的一个分析证明系统第5章. （英语） Zbl 07668120号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。659-679 (2022).
MSC公司：03B42号 03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Rooduijn}和\textit{L.Zenger}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。659--679（2022年；Zbl 07668120）
奥兰德利，尤金尼奥；泰西，马蒂奥

严格蕴涵逻辑的标记序列计算。 （英语） Zbl 07668118号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。625-641 (2022).
MSC公司：03B45号 05年3月 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{E.Orlandelli}和\textit{M.Tesi}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。625--641（2022年；Zbl 07668118）
小野，Hiroakira；佐野胜彦

双直觉时态逻辑的解析切割和Mints对称插值方法。 （英语） Zbl 07668117号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。601-623 (2022).
MSC公司：05年3月 03B20型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}和\textit{K.Sano}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。601-623（2022；Zbl 07668117）
拉杰夫·戈雷；伊恩·希利托

直接消除GL4ip中的添加剪切：验证并提取。 （英语） Zbl 1518.03015号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。429-449 (2022).
审核人：安妮卡·坎科斯（赫尔辛基）
MSC公司：03层45 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}和\textit{I.Shillito}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。429--449（2022；Zbl 1518.03015）
安德烈亚·德·多梅尼科；朱塞佩·格雷科

算法对应和分析规则。 （英语） Zbl 07668106号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。371-389 (2022).
MSC公司：03财年03 05年3月 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.DeDomenico}和\textit{G.Greco}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。371-389（2022年；兹bl 07668106）
全文： arXiv公司
蒂齐亚诺·达尔蒙特；玛丽安娜·吉兰多

邻域模型中的比较似然性：公理系统和序列计算。 （英语） Zbl 07668103号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。305-327 (2022).
MSC公司：03B42号 03财年03 05年3月 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{T.Dalmonte}和\textit{M.Girlando}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。305-327（2022；Zbl 07668103）
全文： arXiv公司
蝉蜕、阿加塔；卢茨斯特拉汉堡；泰西，马蒂奥

用嵌套序列驯服有界深度。 （英语） Zbl 07668098号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。199-216年（2022年）。
MSC公司：05年3月 03B55号
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciabattoni}等人，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。199-216（2022；Zbl 07668098）
马特奥·阿克拉维奥；卢茨斯特拉汉堡

构造模态逻辑的组合证明。 （英语） Zbl 07668089号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。15-36 (2022).
MSC公司：03B45号 03财年03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛M.Acclavio｝和\textit｛L.Straßburger｝，在：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。15--36（2022；Zbl 07668089）
安德烈·因德泽扎克（Andrzej Indrzejczak）

勒希涅夫斯基的本体论——证明理论特征。 （英语） Zbl 07628208号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 541-558 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Indrzejczak}，莱克特。注释计算。科学。13385、541--558（2022；Zbl 07628208）
全文： 内政部
圣多美，肯吉；中泽，Koji；大辅木村

带有归纳命题的群逻辑循环证明系统中的删减失败。 （英语） Zbl 07700616号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第11条，第14页（2021年）。
MSC公司：68倍 03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{K.Saotome}等人，LIPIcs——莱布尼茨国际程序。通知。195，第11条，第14页（2021；Zbl 07700616）
全文： 内政部
凯特琳·达布雷拉；杰里米·道森；拉杰夫·戈雷

时态逻辑线性嵌套序列的一种经过形式验证的删减过程。 （英语） Zbl 07532522号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 281-298 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\文本{C.D'Abrera}等人，Lect。注释计算。科学。12842、281--298（2021；Zbl 07532522）
全文： 内政部
阿诺·阿夫隆

基于排他的顺序系统。 （英语） Zbl 07532512号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 112-128 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}，莱克特。注释计算。科学。12842、112-128（2021；Zbl 07532512）
全文： 内政部
库尔比斯，尼尔斯

确定性描述理论的证明理论和语义学。 （英语） Zbl 07532511号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 95-111 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.Kurbis}，莱克特。注释计算。科学。12842，95-111（2021；Zbl 07532511）
全文： 内政部 arXiv公司
蝉蜕、阿加塔；蒂姆·S·里昂。；雷文莎·拉马纳亚克；Tiu，Alwen先生

显示给带标签的校样，然后再次显示给时态逻辑。 （英语） Zbl 1505.03047号

ACM事务处理。计算。日志。 22，第3条，第20条，第31页（2021年）.
MSC公司：03B44号 03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciabattoni}等人，ACM Trans。计算。日志。22，第3号，第20条，第31页（2021；Zbl 1505.03047）
全文： 内政部 arXiv公司 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件