×

找到40个文档（结果1-40）

最新的 引文 关联
斯坦尼斯拉夫·基科特；伊利亚州夏皮洛夫斯基；叶夫根·佐林

具有传递闭包的模态逻辑：完整性、可判定性、过滤。 （英语） Zbl 07585723号

Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。369-388 (2020).
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{S.Kikot}等人，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。369--388（2020；Zbl 07585723）
菲利普·巴尔比亚尼；约瑟夫·布杜

带有fork的无迭代PDL变体的公理化和可计算性。 （英语） Zbl 1499.03022号

马德拉，亚历山大（编辑）等人，《动态逻辑》。新趋势和应用。2017年9月23日至24日在巴西巴西利亚举行的2017年DALI首次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10669, 17-34 (2018).
MSC公司：03B70号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}和\textit{J.Boudou}，莱克特。票据计算。科学。10669，17-34（2018；Zbl 1499.03022）
全文： 内政部 链接
乔恩·海尔·布伦纳斯；瑞希德·埃哈希德；马丁·斯特雷克

证明逻辑修饰图重写系统的正确性。 （英语） Zbl 1387.68144号

Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–莱布尼茨国际信息学学报52，第14条，第15页（2016年）。
MSC公司：第68季度第42季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Brenas}等人，LIPIcs——莱布尼茨国际程序。通知。52，第14条，第15页（2016年；Zbl 1387.68144）
全文： 内政部
贝内维特斯，马里奥·R·F·。；布鲁诺·洛佩斯；爱德华·赫尔曼·海尔

迭代Petri网的命题动态逻辑。 （英语） Zbl 1401.68219号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965，441-456（2016）。
MSC公司：68问题85 03B45 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.R.F.Benevides}等人，Lect。票据计算。科学。9965，441--456（2016；Zbl 1401.68219）
全文： 内政部
克里斯蒂亚诺·布拉加；布鲁诺·洛佩斯

用重写逻辑实现动态逻辑中的推理：Petri-PDL案例。 （英语） Zbl 1335.68165号

Cornélio，Márcio（编辑）等人，《形式方法：基础和应用》。2015年9月21日至22日，巴西贝洛奥里藏特，第18届巴西研讨会，SBMF 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-29472-8/pbk；978-3-3169-29473-5/电子书）。计算机科学讲义9526，74-89（2016）。
MSC公司：68问题85 03B70号 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Braga}和\textit{B.Lopes}，莱克特。票据计算。科学。9526、74-89（2016年；Zbl 1335.68165）
全文： 内政部
罗伯特·戈德布拉特；马塞尔·杰克逊

结构良好的程序等价性是不可判定的。 （英语） 兹比尔1351.68073

ACM事务处理。计算。日志。 第13号第3条第26条第8页（2012年）.
MSC公司：68号30 03B70号 03天35分 2005年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Goldblatt}和\textit{M.Jackson}，美国医学会翻译。计算。日志。13，第3号，第26条，第8页（2012；Zbl 1351.68073）
全文： 内政部 arXiv公司
帕特里克·吉拉德；杰里米·塞利格曼；刘芬荣

通用动态逻辑。 （英语） Zbl 1291.03023号

Bolander，Thomas（编辑）等人，《模态逻辑的进展》。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物（ISBN 978-1-84890-068-4/pbk）。239-260 (2012).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{P.Girard}等人，in：模态逻辑的进展。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物。239--260（2012年；Zbl 1291.03023）
北阿勒奇纳州。；M.达斯坦尼。；F.汗。；B·洛根。；梅耶，J.-J.Ch。

使用定理证明来验证代理程序的属性。 （英语） 兹比尔1201.68068

Dastani，Mehdi（编辑）等人，《多智能体系统的规范和验证》。魏比·范德霍克（Wiebe van der Hoek）的前言。多德雷赫特：施普林格（ISBN 978-1-4419-6983-5/hbk；978-1-44109-6984-2/电子书）。1-33 (2010).
MSC公司：60年第68季度 68吨15 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{N.Alechina}等人，in：多代理系统的规范和验证。魏比·范德霍克（Wiebe van der Hoek）的前言。多德雷赫特：施普林格。1-33（2010年；Zbl 1201.68068）
全文： 内政部
丹尼尔·利万特

带有程序量词的命题动态逻辑。 （英语） Zbl 1286.03119号

Bauer，Andrej（编辑）等人，《第24届编程语义数学基础会议论文集》（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记218231-240（2008）。
MSC公司：03B70号 2015年3月1日 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Leivant}，电子。注释Theor。计算。科学。218231-240（2008年；Zbl 1286.03119）
全文： 内政部
范·艾伊克（Jan van Eijck）；王燕京

命题动态逻辑是一种信念修正逻辑。 （英语） Zbl 1156.03016号

Hodges，Wilfrid（编辑）等人，《逻辑、语言、信息和计算》。2008年7月1日至4日在英国爱丁堡举办的2008年WoLLIC第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69936-1/pbk）。计算机科学讲义5110。人工智能课堂讲稿，136-148（2008）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{J.van Eijck}和\textit{Y.Wang}，Lect。票据计算。科学。5110、136--148（2008；Zbl 1156.03016）
全文： 内政部
娜塔莎·亚历奇纳；德米特里·什卡托夫

具有存在形态的逻辑学。 （英语） Zbl 1144.03011号

Governatori，Guido（编辑）等人，《模态逻辑的进展》。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议（AiML 2006）的论文选集。伦敦：学院出版物（ISBN 1-904987-7-6/pbk）。31-48 (2006).
MSC公司：03B45 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Alechina}和\textit{D.Shkatov}，in：模态逻辑的进展。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议（AiML 2006）的论文选集。伦敦：学院出版物。31-48（2006；Zbl 1144.03011）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件