{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,20]]，“日期时间”：“2024-04-20T13:40:12Z”，“时间戳”：1713620412150}，“出版商位置”：“柏林，海德堡”，“参考计数”：39，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540520627”，“类型”：“打印”}，{“值”：“9783540468752”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[1990]}，”DOI“：”10.1007\/3-540-52062-7_77“，”type“：”book-chipter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-251:20:48Z“，”timestamp“：1330204848000}，”page“：”156-176“，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“探索认知迷宫：知识表征形式理论的新方向”]，“prefix”：“10.1007”，《author》：[{“given”：“Roderic A.”，“family”：“Girle”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Michael A.”：“297”，“published-on-line”：{“date-parts”：[[2005,6,4]]}，“reference”：[{“key”：“13_CR1”，“unstructured”：“Barca，A.和McRobbie，M.A.[1985]\”模态逻辑的证明理论插值定理“，手稿，1985。即将由M.A.McRobbie、R.K.Meyer和A.Barca在《非经典逻辑插值定理研究》中发表。“}，{”key“：”13_CR2“，”unstructured“：”Girle，R.A.[1970]昆士兰大学硕士论文，知识和信仰解释模型“。}，”{“key”：“13_CR3”，“首页”：“359”，“卷”：“64”，“作者”：“R.A.Girle”，“年份”：“1973”，“unstructure”：“[1973]\”认识逻辑、语言和概念“，Logique et Analyse，64，359\u2013373“，”日记标题“：”Logique et Analyse“}，{“key”：“13_CR4”，“doi-asserted-by”：“crossref”，“首页”：“339”，“doi”：“10.1305\/ndjfl\/1093891791”，“卷”：“16”，“作者”：“R.A.Girle”，“年份”：“1975”，“非结构化”：“[1975]”，“S1\u2260S0.9”，《圣母院形式逻辑杂志》，16，339\u2013344”，《日志标题》：“《圣母院士杂志》逻辑“}，{”键“：”13_CR5“，”doi-asserted-by“：”crossref“，”first page“：”200“，”doi“：”10.1305 \/ndjfl \/109388314“，”volume“：“19”，“author”：“R.A.Girle”，“year”：“1978”，“unstructured”：“[1978]\”Logics for Knowledge，Possibility and Existences“，Notre-Dame Journal of Formal Logic，19，200\u2013214.”，“Journal-title”：“Notre-DameJournal for Formal Logics”}，{“key”：“13_CR6”，“非结构化”：“”昆士兰大学哲学系初级模态逻辑课堂笔记。“}，{“key”：“13_CR7”，“volume-title”：“知识推理的理论方面：1986年会议记录”，“year”：“1986”，“unstructured”：“Halpern，J.Y.（ed.）[1986]知识推理理论方面：《1986年会议记录》，Morgan Kaufmann，Los Altos，California，1986。”知识与信仰：两个概念的逻辑导论”，“作者”：“J.K.Hintikka”，“年份”：“1962年”，“非结构化”：“Hintikca，J.K.[1962]知识和信仰：两种概念逻辑导论，康奈尔大学伊萨卡分校。“}，{”key“：”13_CR9“，”doi-asserted-by“：”crossref“，”first-page“：”63“，”doi“：”10.1016\/B978-0-934613-04-0.50007-7“，”volume-title“：“知识推理的理论层面：1986年会议记录”，“年份”：“1986”，“非结构化”：“哲学中的知识推理：认识逻辑的范式”，Halpern[1986]，63\u201380“}，{“key”：“13_CR10”，“volume-title”：“模态逻辑导论”，“author”：“G.E.Hughes”，“year”：“1972”，“unstructured”：“Hughes，G.E.and Cresswell，M.J.[1972]《模态逻辑导言》，伦敦，Methuen，Corrected Repr.”}，“{”key“：”13_CR11“首页”：“206”，“volume-titel”：“模型理论”，“作者”：“S.A.Kripke”，“年份“：”1965年”，“非结构化”：“克里普克，S.A.[1965]”，“模态逻辑的语义分析II：非正规模态命题演算”，206\u2013220，《模型理论》，J.W.Addison，L.Henkin和A.Tarski编辑，阿姆斯特丹北霍兰德。“｝，｛”key“：”13_CR12“，”doi asserted by“：”crossref“，”首页“：”46“，”doi“：”10.2307\/2270619“，”卷“：”31“，”作者“：”E.J.Lemmon“，”年份“：”1966“，”非结构化“：”Lemmon，E.J.[1966]\“模态逻辑的代数语义I，II\”，符号逻辑期刊，31，46\u201365，191\u2013218“，”期刊标题“：”符号逻辑期刊“｝，｛”key“：”13_CR12“R13“，”doi-asserted-by“：”crossref“，”doi“：”10.1525\/9780520398252“，”volume-title“：”符号逻辑综述“，”author“：”C.I.Lewis“，”year“：”1918“，”unstructured“：”Lewis，C.I.[1918]加州大学伯克利分校符号逻辑综述。Lewis，C.I.和Langford，C.H.“}，{“键”：“13_CR14”，“卷标题”：“符号逻辑”，“作者”：“C.I.Lewis”，“年份”：“1932”，“非结构化”：“[1932]符号逻辑，Dover，New York。”}，{“键”：“13_CR15”，“非结构化”：“Lusk，E.、Warren，D.H.D.、Haridi，S.、Butler，R.、Calderwood，A.、Disz，T.、Olson，R.和Overbeek，R.，Stevens，R.与Szeredi，S.，Brand，P.、Carlsson，M.、Ciepielewski，A.和Hausman，B.[1988]“Aurora Or-Parallel Prolog系统”，《第五代计算机系统国际会议论文集》，即将出版。“}，{”key“：”13_CR16“，”doi-asserted-by“：”crossref“，”first page“：“117”，”doi“：”10.2307\/2267105“，”volume“：‘6’，”author“：”J.C.C.麦肯锡“，”year“：”1941“，”unstructured“：”McKinsey，J.C.C.[1941]“路易斯系统S2和S4决策问题的解决方案及其在拓扑中的应用”，《符号逻辑杂志》，6，117\u2013134。“，”期刊标题“：”符号逻辑期刊“｝，｛”键“：”13_CR17“，”首页“：”895“，”卷“：”48“，”作者“：”M.A.McRobbie“，”年份“：”1983“，”非结构化“：”McRobbie，M.A.and Barca，A.[1983]\“非正规模态逻辑的构造性插值定理”，（摘要），符号逻辑期刊，48895“，”期刊标题“：”符号逻辑期刊“｝，｛”key“：”13_CR18“，”首页“：”236“，”卷“：”5“，”作者“：”M.A.McRobbie“，”年份“：”1983“，”非结构化“：”McRobbie，M.A.，Meyer，R.K.and Thistlewaite，P.B.[1983]“相关逻辑决策问题的计算机辅助调查：自由关联操作的搜索”，澳大利亚计算机科学通信，5，236\u2013267。（第六届澳大利亚计算机科学会议论文集，编辑L.M.Goldschlager，悉尼大学Basser计算机科学系）“，”杂志标题“：”澳大利亚计算机科学通信“}，{“key”：“13_CR19”，“doi-asserted-by”：“crossref”，“first page”：”197“，”doi“：”10.1007\/BFb0012833“，”volume-title“：”《第九届自动演绎国际会议论文集》，“作者”：“M.A.McRobbie”，“年份”：“1988年”，“非结构化”：“[1988]\”“走向高效\u2018\u2019\u2019非经典逻辑的基于知识的自动定理证明”，载于第九届国际自动演绎会议论文集，197\u2013217，编辑E.Lusk和R。柏林斯普林格LNCS 310 Overbeek。“}，{”key“：”13_CR20“，”first page“：“189”，“volume”：“9”，“author”：“M.A.McRobbie”，“year”：“1980”，“unstructured”：“McRobbie，M.A.，Thistlewaite，P.B.and Meyer，R.K.[1980]”非经典逻辑的机械化决策程序：KRIPKE程序“，波兰科学院逻辑科公报，9，189\u2013192.”，“日志标题”：“逻辑部分公报“}，{”key“：”13_CR21“，”doi-asserted-by“：”crossref“，”first page“：“717”，”doi“：”10.2307/2273610“，“volume”：“47”，“author”：“M.A.McRobbie”，“year”：“1982”，“unstructured”：“[1982]”非经典逻辑的机械化决策程序\u2014程序KRIPKE“，（摘要），《符号逻辑杂志》，47，717。“，”journal-title“：《符号逻辑杂志》}，{“key”：“13_CR22”，“doi-asserted-by”：“crossref”，“first-page”：“685”，“doi”：“10.1007\/BFb0012866”，“volume-title”：“第九届国际自动演绎会议论文集”，“author”：“P.K.Malkin”，《年份》：“1988”，“unstructured”：“Malkin.，P.K.和Martin，E.P.[1988]“逻辑矩阵生成和测试”，摘自第九届自动演绎国际会议论文集，685\u2013693，编辑E.Lusk和R.Overbeek，LNCS 310，柏林斯普林格。“}，{”键“：”13_CR23“，”首页“：”167“，”卷“：”12“，”作者“：”松本“，”年份“：”1960“，”非结构化“：”松本，K.[1960]“情态句子演算S3的决策程序”，大阪数学杂志，12，167\u2013175.“，”杂志标题“：”大阪数学家杂志“}”，{“键”：“13_CR24”，”卷时间“：”创造性计算机“，”作家“：”D。Michie”，“年份”：“1985年”，“非结构化”：“Michie，D.和Johnston，R.[1985]创意计算机，企鹅图书，哈蒙兹沃思。“}，{”键“：”13_CR25“，”首页“：”125“，”卷“：”13“，”作者“：”M.Chnishi“，”年份“：”1961“，”非结构化“：”Chnisi，M.[1961a]\“刘易斯系统S2和S3的Gentzen决策程序”。大阪数学杂志，13，125\u2013137.“，”杂志标题“：”大阪数学家杂志“}”，{“键”：“13_CR26”，“非结构化”：“[1961b]“Von Wright-Anderson’s Decision Procedures for Lewis’s Systems S2\u2013S3”，《大阪数学杂志》，139\u2013142journal-title“：“大阪数学杂志”}，{“key”：“13_CR28”，“首页”：“115”，“卷”：“11”，“作者”：“M.Ohnishi”，“年份”：“1959”，“非结构化”：“[1959]\”Gentzen Methods in Modal Calculi II“，大阪Mathematical journal，11，115\u2013120.”，“journal-title”：“大坂数学杂志（Osaka Mathematic journal）”}78“，”DOI“：”10.1093\/mind\/XLIII.169.78“，”volume“：”43“，”author“：”W.T.Parry“，”year“：”1934“，”unstructured“：”Parry，W.T.[1934]“‘严格暗示’的假设”\u201d，mind，43，78\u201380.“，”journal-title“：”mind“}，{“key”：“13_CR30”，“DOI-asserted-by”：“crossref”，“首页”：“175”，”DOI:“10.1002\/malq.19700160207”，“卷”：“16”，“作者”：“M.K。Rennie“，”year“：”1970“，”unstructured“：”Rennie，M.K.[1970]“多模态系统模型”，Zeitschrift fur mathematische Logik and Grundlagen der Mathematik，16，175\u2013183.“，”journal-title“：”Zeitschlift fur Mathematisch Logik and Grandlagen de Mathematick“}，{”key“：”13_CR31“，”doi-asserted-by“：”crossref“，”first page“：“466”，“doi”：“10.2307\/2272206“，“卷”：“40”，“作者”：“R.Routey”，“年份”：“1975”，“非结构化”：“Routey，R.[1975]对Matsumoto[1960]，Ohnishi[1961a]和[1961b]，Ohinishi和Matsumoto[1957]和[1959]的评论，《符号逻辑杂志》，40，466\u2013469.”，“期刊标题”：“符号逻辑杂志”}，{“key”：“13_CR32”，“doi-asserted-by”：“crossref”，”第一页“：”47“，”DOI“：”10.1007“，”volume“：”40“，”author“：”P.K.Schotch“，”year“：”1981“，”unstructured“：”Schotch，P.K.and Jennings，R.E.[1981]“认识逻辑、怀疑论和非正规模态逻辑”，哲学研究，40，47\u201367.“，”journal title“：”Philosophical Studies“}，{“key”：“13_CR33”，“unstructure”：“Slaney，J.K.[1980]《计算机与相关逻辑：命题逻辑矩阵模型结构计算项目》，澳大利亚国立大学博士论文。“}，{”key“：”13_CR34“，”doi-asserted-by“：”crossref“，”first-page“：”487“，”doi“：”10.2307\/2274237“，”volume“：“50”，”author“：”J.K.Slaney“，”year“：”1985“，”unstructured“：”[1985]3088 Varies:A Solution to the Ackermann Constant Problem“，Journal of Symbolic Logic，50，487\u2013501.“，”Journal-title“：”Journal of-Symbolic Logic“}”，{“key”：“”13_CR35“，”卷标题“：“第八届自动演绎国际会议论文集”，“作者”：“P.B.Thistlewaite”，“年份”：“1986年”，“非结构化”：“Thistlewarite，P.B.，McRobbie，M.A.和Meyer，R.K.[1986]\“KRIPKE自动定理证明系统”，载于第八届国际自动演绎会议论文集，J.Siekmann主编，LNCS 230，柏林斯普林格。“}，{”key“：”13_CR36“，”volume-title“：”理论计算机科学研究笔记“，”author“：”P.B.Thistlewaite“，”year“：”1988“，”unstructured“：”[1988]非经典逻辑中的自动定理证明，理论计算机科学的研究笔记，Pitman，London，and Wiley，New York。“}P.B.Thistlewaite“，”年份“：”1985“，”非结构化“：”Thistlewarite，P.B.，Meyer，R.K.和McRobbie，M.A.[1985]“相关逻辑的高级定理证明技术”，Logique et Analyse，28，233\u2013256.“，”日志标题“：”Logique et-Analyse“}，{“key”：“13_CR38”，“doi-asserted-by”：“crossref”，“首页”：“293”，“doi”：“10.1016\/B978-0-934613-04-0.50024-7“，“卷时间”：“知识推理的理论层面：1986年会议记录”，“作者”：“M.Y.Vardi”，“年份”：“1986年”，“非结构化”：“Vardi，M.Y.[1986]\“论认识逻辑和逻辑泛科学”，载于Halpern[1986]，293\u2013305.”}，{“关键”：“13_CR39”，“卷时”：“模态逻辑：刘易斯-模态系统”，“作者”：“J.J.Zeman”，“年份”：“1973年”，“非结构化”：“Zeman，J.J.[1973]模态逻辑：路易斯-模态系统，牛津大学，伦敦。“}]，”container-title“：[”AI'88“，”计算机科学课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-52062-7_77.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“deposed”：{”date-parts“：[2024,20]]，”date-time“：”2024-04-20T13:26:01Z“，”timestamp“：1713619561000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-52062-7_77”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1990]]}，《ISBN》：[“9783540520627”，“97835468752”]，“references-count”：39，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-52062-7_77”，“关系”：{}，“ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-974”，“type”：”print“}，{“value”：“1611-3399”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1990]]}}}