马里奥·贝尼维德斯。；谢赫特，L.Menasché 基于（pi）演算的并发程序的命题动态逻辑。 （英语） Zbl 1345.68228号 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》26249-64（2010）。MSC公司：68问题85 03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.贝内维提斯}和\textit{L.M.Schechter}，电子。注释Theor。计算。科学。262、49-64（2010年；Zbl 1345.68228） 全文： 内政部
多米尼克·拉切·温德林（Dominique Larchey-Wendling） 通过组语义将Minsky机器直接模拟为经典的集群逻辑。 （英语） Zbl 1343.03021号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265369-387（2010）。MSC公司：03B47号 03B25号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}，电子。注释Theor。计算。科学。265369-387（2010年；Zbl 1343.03021） 全文： 内政部
德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 高阶状态和控制效果对局部关系推理的影响。 （英语） Zbl 1323.68203号 2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN公告45，编号9，143-156（2010）。MSC公司：68号30 68甲18 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dreyer}等人，in：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27-29日。纽约州纽约市：计算机协会（ACM）。143-156（2010年；Zbl 1323.68203） 全文： 内政部
朱莉安娜·布埃诺·索勒 非一致性模态的两种语义方法。 （英语） Zbl 1255.03028号 日志。Univers大学。 4，第1期，137-160（2010）.MSC公司：03B45号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bueno-Soler}，日志。Univers大学。4，编号1，137--160（2010；Zbl 1255.03028） 全文： 内政部
拉特金，E.I。 Nelson逻辑的广义Kripke语义。 （英语。俄文原件） Zbl 1272.03119号 代数逻辑 49，第5期，426-443（2010）; 摘自《代数逻辑》49，第5期，630-653页（2010年）。MSC公司：03B53号 PDF格式BibTeX公司 XML格式引用 \textit{E.I.Latkin}，代数逻辑49，No.5，426--443（2010；Zbl 1272.03119）；《代数逻辑》49的译文，第5期，第630--653页（2010年） 全文： 内政部
德米特里·斯科沃尔佐夫 关于命题克里普克的评论为直觉主义逻辑提供了框架。 （英语） Zbl 1254.03017号 Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24日至27日。伦敦：学院出版物（ISBN 978-1-84890-013-4）。392-410 (2010).MSC公司：03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov}，in：模态逻辑的进展。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24-27日。伦敦：学院出版物。392--410（2010年；Zbl 1254.03017）
佐野胜彦；马明辉 分级模态语言的Goldblatt-Thomason式定理。 （英语） Zbl 1254.03038号 Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24日至27日。伦敦：学院出版物（ISBN 978-1-84890-013-4）。330-349 (2010).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛K.Sano｝和\textit｛M.Ma｝，在：模态逻辑的进展。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24-27日。伦敦：学院出版物。330-349（2010年；Zbl 1254.03038）
彼得·辛图拉；乔治·梅特卡夫 直觉主义逻辑含意否定片断中的可容许规则。 （英语） Zbl 1225.03011号 Ann.纯粹应用。逻辑 162，第2期，162-171（2010）.MSC公司：03B20型 03B22号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{G.Metcalfe}，Ann.Pure Appl。逻辑162，No.2，162--171（2010；Zbl 1225.03011） 全文： 内政部
列夫·贝克莱米舍夫。 可证明逻辑GLP的Kripke语义。 （英语） Zbl 1223.03046号 Ann.纯粹应用。逻辑 161，第6期，756-774（2010）.MSC公司：03层45 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.D.Beklemishev}，Ann.纯粹应用。逻辑161，No.6，756--774（2010；Zbl 1223.03046） 全文： 内政部
安德烈·彼得鲁兹扎克（Andrzej Pietruszczak） 一些非常弱的模态逻辑的简化Kripke风格语义。 （英语） Zbl 1222.03026号 日志。日志。菲洛斯。 18，编号3-4，271-296（2010）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pietruszczak}，日志。日志。菲洛斯。18，编号3--4，271--296（2010；Zbl 1222.03026） 全文： 内政部
阿诺·阿夫隆；奥里·拉哈夫 关于结构连接词和系统。 （英语） 兹比尔1213.03069 日志。方法计算。科学。 6，第4号，第12号论文，20页（2010年）.MSC公司：05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{O.Lahav}，日志。方法计算。科学。6，第4号，第12号文件，第20页（2010年；Zbl 1213.03069） 全文： 内政部 arXiv公司
海因里希·瓦辛；诺里希罗·卡米德 直觉主义三格逻辑。 （英语） Zbl 1205.03034号 J.日志。计算。 2010年6月20日第1201-1229号.MSC公司：03B50号 05年3月 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}和\textit{N.Kamide}，J.Log。计算。20，第6号，1201--1229（2010；Zbl 1205.03034） 全文： 内政部
格哈德·莱克梅耶 情境演算：模态逻辑的一个例子。 （英语） Zbl 1227.03022号 J.逻辑语言信息。 19，第4期，431-450（2010）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Lakemeyer}，J.Logic Lang.Inf.19，No.4，431--450（2010；Zbl 1227.03022） 全文： 内政部
乔安·拉斯加；卡里娜·罗吉亚；克里斯蒂娜·瑟纳达斯 用真值标记的顺序模态逻辑系统的融合。 （英语） Zbl 1215.03037号 日志。J.IGPL公司 18，第6号，893-920（2010）.MSC公司：03B45号 03B62号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人，日志。J.IGPL 18，第6号，893--920（2010；Zbl 1215.03037） 全文： 内政部 链接
沃伊切赫·Dzik；朱尼·Järvinen；Michiro近藤 直觉主义命题逻辑与伽罗瓦联系。 （英语） Zbl 1221.03012号 日志。J.IGPL公司 18，第6期，837-858（2010）. 审核人：瓦列里·普利斯科（莫斯科） MSC公司：03B20型 03G25号 PDF格式BibTeX公司 XML格式引用 \textit｛W.Dzik｝等人，日志。J.IGPL 18，No.6，837--858（2010；Zbl 1221.03012） 全文： 内政部
谢尔盖·巴本尼舍夫；弗拉基米尔·雷巴科夫 克里普克元模型的逻辑。 （英语） Zbl 1216.03035号 日志。J.IGPL公司 第61823-836号（2010年）.MSC公司：03B45号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov}，Log。J.IGPL 18，第6号，823--836（2010；Zbl 1216.03035） 全文： 内政部 链接
菲利普·巴尔比亚尼；廷切夫、廷科 带关系的布尔逻辑。 （英语） Zbl 1206.03019号 J.日志。阿尔盖布。程序。 79，第8期，707-721（2010）. 审核人：伯恩哈德·海尼曼（黑根） MSC公司：03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev}，J.Log。阿尔盖布。程序。79，第8号，707--721（2010；Zbl 1206.03019） 全文： 内政部
阿诺·阿夫隆；奥里·拉哈夫 严格的规范构造系统。 （英语） Zbl 1287.03099号 安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，75-94（2010）。MSC公司：05年3月 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{O.Lahav}，莱克特。注释计算。科学。6300，75-94（2010；Zbl 1287.03099） 全文： 内政部
诺里希罗·卡米德；海因里希·瓦辛 将线性时间逻辑与构造性和超一致性相结合。 （英语） Zbl 1207.03022号 J.应用。日志。 8，第1号，33-61（2010）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B44号 03B70号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing}，J.Appl。日志。8，编号1，33--61（2010；Zbl 1207.03022） 全文： 内政部
范德霍克，W。；D.沃尔特。；伍尔德里奇，M。 关于控制权转移的推理。 （英语） Zbl 1191.68734号 J.阿蒂夫。智力。研究（JAIR） 37, 437-477 (2010).MSC公司：68T42型 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人，J.Artif。智力。研究（JAIR）37，437--477（2010；Zbl 1191.68734） 全文： 内政部 arXiv公司
丸山义弘 从对偶理论的角度看模糊拓扑和Łukasiewicz逻辑。 （英语） Zbl 1197.03024号 螺柱日志。 94，第2期，245-269（2010）.MSC公司：03B50号 03B52号 03G25号 54个40个 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Maruyama｝，螺柱日志。94，第2号，245--269（2010；Zbl 1197.03024） 全文： 内政部 链接
泽维尔·凯塞多；里卡多·罗德里格斯。 标准哥德尔模态逻辑。 （英语） Zbl 1266.03030号 螺柱日志。 94，第2期，189-214（2010）.MSC公司：03B45号 03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}和\textit{R.O.Rodriguez}，Stud.Log。94，第2号，189--214（2010；Zbl 1266.03030） 全文： 内政部