×

找到189份文件（结果1-100）

最新的 引文 关联
德尔·卡门·冈萨雷斯·韦斯卡，卢尔德;米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel）;Linares-Arévalo，P.Selene

构造S4的对偶和公理系统，正式验证的等价性。 （英语） Zbl 1495.03032号

Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。348, 61-83 (2020).
MSC公司：03B45 68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{L.del Carmen González Huesca}等人，《电子》。理论注释。计算。科学。348、61-83（2020年；Zbl 1495.03032）
全文： 内政部
何塞·埃斯皮里托·桑托;路易斯·平托;塔尔莫乌斯塔卢

模态嵌入和调用范式。 （英语） 兹比尔1528.03123

Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 2019，德国多特蒙德，2019年6月24日至30日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。131，第18条，第20页（2019年）。
MSC公司：03B40型 03B45 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Espírito Santo}等人，LIPIcs——莱布尼茨国际程序。通知。131，第18条，第20页（2019年；Zbl 1528.03123）
全文： 内政部
马特奥·阿克拉维奥;卢茨斯特拉汉堡

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

Cerrito，Serenella（编辑）等，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 223-240 (2019).
MSC公司：03B45 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Acclavio}和\textit{L.Straßburger}，Lect。注释计算。科学。11714、223--240（2019年；Zbl 1435.03041）
全文： 内政部 哈尔
V.V.里马茨基。

构建扩展S4.1的模态逻辑容许推理规则的显式基础。 （英语。俄文原件） Zbl 1261.03089号

离散数学。申请。 21，编号5-6，741-760（2011）；从Diskretn翻译。材料23，第4号，48-65（2011年）。
MSC公司：03B45 03G25号 08B20号
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Rimatskij}，离散数学。申请。21、编号5--6741--760（2011；Zbl 1261.03089）；从Diskretn翻译。材料23，第4号，48--65（2011）
全文： 内政部
谢尔盖·巴本尼舍夫;弗拉基米尔·雷巴科夫;Schmidt，Renate A。;蒂什科夫斯基，德米特里

S4中检查规则可接受性的表方法。 （英语） Zbl 1345.03033号

Bolander，Thomas（ed.）等人，《第六届模态方法研讨会论文集》（M4M-6，2009年），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》26217-32（2010）。
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{S.Babenyshev}等人，《电子》。理论注释。计算。科学。262、17-32（2010年；Zbl 1345.03033）
全文： 内政部
科米奇，V.I。

关于超直觉命题逻辑和模态命题逻辑的简单替换性质。 （英语。俄文原件） Zbl 1269.03026号

多克。数学。 78，第3期，923-924（2008）；Dokl翻译。阿卡德。恶心。，罗斯。阿卡德。恶心。423，第6期，740-742（2008）。
MSC公司：03B45 03B55号
PDF格式BibTeX公司 XML格式引用
\textit{V.I.Khomich}，多克。数学。78，第3号，923--924（2008；Zbl 1269.03026）；Dokl翻译。阿卡德。恶心。，罗斯。阿卡德。恶心。423，第6号，740--742（2008）
全文： 内政部
佐菲娅·科斯特日卡

模态逻辑中的真理密度。 （英语） Zbl 1191.03013号

第四次数学和计算机科学座谈会IV.算法，树，组合和概率。论文基于2006年9月18日至22日在法国南希举行的座谈会上的陈述。南希：协会。离散数学与理论计算机科学（DMTCS）。离散数学和理论计算机科学。诉讼，161-170，仅电子版（2006年）。
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kostrzycka}，in：第四届数学和计算机科学学术讨论会IV.算法、树、组合和概率。论文基于2006年9月18日至22日在法国南希举行的学术讨论会上的陈述。南希：协会。离散数学与理论计算机科学（DMTCS）。161-170（2006；Zbl 1191.03013）
全文： 链接
松下，高石

无需非循环条件即可实现纳什均衡。S4——知识模型案例。 （英语） Zbl 1102.91302号

Bubak，Marian（编辑）等人，《计算科学–ICCS 2004》。第四届国际会议，波兰克拉科夫，2004年6月6日至9日。会议记录，第四部分，柏林：施普林格出版社（ISBN 3-540-22129-8/pbk）。计算机科学课堂讲稿3039884-891（2004）。
MSC公司：91A10号 91A28型 03B42号 03B45
PDF格式BibTeX公司 XML格式引用
\textit｛T.Matsuhisa｝，勒克特。注释计算。科学。3039，884-891（2004年；兹bl 1102.91302）
全文： 内政部
谢尔盖·阿特莫夫。

对可以通过模态逻辑指定的证明的运算。 （英语） 兹伯利1001.03055

Zakharyaschev，Michael（编辑）等人，《模态逻辑的进展》。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）的论文选集。加利福尼亚州斯坦福：CSLI出版物。CSLI法律。笔记。119, 59-72 (2001).
审核人：Osamu Sonobe（福洛尼卡）
MSC公司：03层45 03B20型 03B45
PDF格式BibTeX公司 XML格式引用
\textit{S.N.Artemov}，in：模态逻辑的进展。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）论文选集。加利福尼亚州斯坦福：CSLI出版物。59-72（2001年；Zbl 1001.03055）
尼尔·加尼;瓦莱里亚·德·佩瓦;艾克·里特

明确替代建设性必要性。 （英语） Zbl 0949.03014号

Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1443, 743-754 (1998).
MSC公司：03B40型 68甲18 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Ghani}等人，Lect。注释计算。科学。1443，743-754（1998年；兹bl 0949.03014）
马丁·霍夫曼

混合模式/线性lambda演算及其在Bellantoni-Cook安全递归中的应用。 （英语） Zbl 0908.03022号

尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1414, 275-294 (1998).
MSC公司：03B40型 03B45
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。1414275-294（1998年；Zbl 0908.03022）
H·S·辛。;Williamson，T。

表示图灵机器的知识。 （英语） Zbl 0942.03514号

Bacharach，M.O.L.（编辑）等人，《认识逻辑与游戏和决策理论》。根据会议，1994年1月，法国马赛。多德雷赫特：Kluwer学术出版社。理论决策。伦敦银行同业拆借利率。，序列号。C.20，169-190（1997）。
MSC公司：03B42号 03日第10天 91A35型 03B45
PDF格式BibTeX公司 XML格式引用
\textit｛H.S.Shin｝和\textit｛T.Williamson｝，在《认识论逻辑与博弈与决策理论》中。根据会议，1994年1月，法国马赛。多德雷赫特：Kluwer学术出版社。169-190（1997；Zbl 0942.03514）
格里戈里薄荷;弗拉基米尔·奥尔耶夫科夫;塔内尔·塔米特

将顺序演算策略转换为S4的分辨率。 （英语） Zbl 0869.03010号

Wansing，Heinrich（编辑），模态逻辑的证明理论。《研讨会论文集》，德国汉堡，1993年11月19日至20日。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。2, 17-31 (1996).
审核人：N.Zamov（喀山）
MSC公司：03B45 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}等人，应用。日志。序列号。2、17-31（1996；Zbl 0869.03010）
约尔格·胡德尔梅尔

S4的一个无收缩连续演算。 （英语） 兹比尔0869.03012

Wansing，Heinrich（编辑），模态逻辑的证明理论。《研讨会论文集》，德国汉堡，1993年11月19日至20日。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。2, 3-15 (1996).
审核人：M.Zakharyaschev（柏林）
MSC公司：03B45 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{J.Hudelmaier}，应用。日志。序列号。2、3——15（1996；Zbl 0869.03012）
亚历山大·查格罗夫;迈克尔·扎克哈里亚舍夫

即使在S4以上，Sahlqvist公式也不是那么简单。 （英语） Zbl 0846.03004号

Csirmaz，László（编辑）等人，1992年8月9日至15日在匈牙利维斯普雷姆举行的逻辑研讨会。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和计算研究。61-73 (1995).
审核人：L.F.Goble（塞勒姆）
MSC公司：03B45 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Chagrov}和\textit{M.Zakharyaschev}，摘自：1992年逻辑学术讨论会，匈牙利维斯普雷姆，1992年8月9日至15日。加利福尼亚州斯坦福：CSLI出版物。61-73（1995年；兹bl 0846.03004）
弗兰克·芬宁;Wong，Hao Chi黄浩智

关于S4的模态lambda演算。 （英语） Zbl 0908.03018号

Brookes，Steve（编辑）等人，《编程语义的数学基础》。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第1、20页（1995年）。
MSC公司：03B40型 03B70号 03B45 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Pfenning}和\textit{H.-C.Wong}，in：编程语义的数学基础。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔。20页（1995年；Zbl 0908.03018）
全文： 链接
Babenyshev，S.V.公司。

模态逻辑S4.2和S4.2Grz中容许规则的基础。 （英语。俄文原件） Zbl 0813.03011号

代数逻辑 32，第2号，63-70（1993）；翻译自《代数逻辑》32，第2期，117-130（1993）。
审核人：O.Sonobe（福洛妮卡）
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{S.V.Babenyshev}，代数逻辑32，No.2，1（1993；Zbl 0813.03011）；《代数逻辑学》第32卷第2期第117-130页（1993）的译文
全文： 内政部
格里戈里·施瓦兹;特鲁什琴斯基，米罗斯劳

非单调推理有时更简单。 （英语） Zbl 0793.68080号

Gottlob，Georg（编辑）等人，《计算逻辑和证明理论》。1993年8月24日至27日，第三届库尔特·哥德尔学术讨论会，KGC’93，捷克共和国布尔诺。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。713, 313-324 (1993).
MSC公司：65年第68季度 第68页第27页 03B45 2015年第68季度 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{G.Schwarz}和\textit{M.Truszczyn ski}，莱克托。注释计算。科学。713313-324（1993；Zbl 0793.68080）
贾斯帕斯，简

稳定性的推广及其在积极内省知识范围中的应用。 （英语） Zbl 0793.03020号

Börger，Egon（编辑）等人，《计算机科学逻辑》。第四次研讨会，CSL’90，德国海德堡，1990年10月1日至5日。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。533, 289-299 (1991).
审核人：J.Jaspars（阿姆斯特丹）
MSC公司：03B45 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.贾斯帕斯}，莱克特。注释计算。科学。533289-299（1991年；Zbl 0793.03020）
P.G.诺莫夫。

模态逻辑在直觉谓词演算上的保守性。 （英语。俄文原件） Zbl 0784.03017号

莫斯克。大学数学。牛市。 46，第6号，58-61（1992）；维斯特翻译。莫斯科。州立大学。I 1991，第6号，86-90（1991）。
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Naumov}，莫斯克。大学数学。牛市。46，No.6，58--61（1991；Zbl 0784.03017）；维斯特翻译。莫斯科。州立大学。I 1991年，第6期，86-90（1991）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件