发布求助
文献互助 智能选刊 最新文献

Outstanding Contributions to Logic最新文献

筛选
英文 中文
Revisiting Semilattice Semantics 重温半格语义
Outstanding Contributions to Logic Pub Date : 2021-09-25 DOI: 10.1007/978-3-030-71430-7_7
Shawn Standefer
{"title":"Revisiting Semilattice Semantics","authors":"Shawn Standefer","doi":"10.1007/978-3-030-71430-7_7","DOIUrl":"https://doi.org/10.1007/978-3-030-71430-7_7","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116386666","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Strong Completeness of S4 for the Real Line 实线上S4的强完备性
Outstanding Contributions to Logic Pub Date : 2021-09-25 DOI: 10.1007/978-3-030-71430-7_10
Philip Kremer
{"title":"Strong Completeness of S4 for the Real Line","authors":"Philip Kremer","doi":"10.1007/978-3-030-71430-7_10","DOIUrl":"https://doi.org/10.1007/978-3-030-71430-7_10","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121874353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Axioms and Rexpansions 论公理与扩展
Outstanding Contributions to Logic Pub Date : 2021-02-10 DOI: 10.1007/978-3-030-71258-7_3
Carlos Caleiro, Sérgio Marcelino
{"title":"On Axioms and Rexpansions","authors":"Carlos Caleiro, Sérgio Marcelino","doi":"10.1007/978-3-030-71258-7_3","DOIUrl":"https://doi.org/10.1007/978-3-030-71258-7_3","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122287581","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Temporal Logic of Minkowski Spacetime 闵可夫斯基时空的时间逻辑
Outstanding Contributions to Logic Pub Date : 2020-10-03 DOI: 10.1007/978-3-030-71430-7_15
R. Hirsch, Brett McLean
{"title":"Temporal Logic of Minkowski Spacetime","authors":"R. Hirsch, Brett McLean","doi":"10.1007/978-3-030-71430-7_15","DOIUrl":"https://doi.org/10.1007/978-3-030-71430-7_15","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"300 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131638532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Beth Definability in the Logic KR 逻辑KR中的可定义性
Outstanding Contributions to Logic Pub Date : 2020-05-31 DOI: 10.1007/978-3-030-71430-7_5
Jacob B. Garber
{"title":"Beth Definability in the Logic KR","authors":"Jacob B. Garber","doi":"10.1007/978-3-030-71430-7_5","DOIUrl":"https://doi.org/10.1007/978-3-030-71430-7_5","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124309284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modal Logics of Some Hereditarily Irresolvable Spaces 一些遗传不可解空间的模态逻辑
Outstanding Contributions to Logic Pub Date : 2020-03-29 DOI: 10.1007/978-3-030-71430-7_11
R. Goldblatt
{"title":"Modal Logics of Some Hereditarily Irresolvable Spaces","authors":"R. Goldblatt","doi":"10.1007/978-3-030-71430-7_11","DOIUrl":"https://doi.org/10.1007/978-3-030-71430-7_11","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123276493","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Tarskian Classical Relevant Logic 塔斯基经典相关逻辑
Outstanding Contributions to Logic Pub Date : 2020-01-28 DOI: 10.1007/978-3-030-71430-7_3
R. Maddux
{"title":"Tarskian Classical Relevant Logic","authors":"R. Maddux","doi":"10.1007/978-3-030-71430-7_3","DOIUrl":"https://doi.org/10.1007/978-3-030-71430-7_3","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114076427","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Cover Systems for the Modalities of Linear Logic 线性逻辑模态的覆盖系统
Outstanding Contributions to Logic Pub Date : 2016-10-28 DOI: 10.1007/978-3-030-76920-8_8
R. Goldblatt
{"title":"Cover Systems for the Modalities of Linear Logic","authors":"R. Goldblatt","doi":"10.1007/978-3-030-76920-8_8","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_8","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133614035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Dialetheic Conditional Modal Logic 辩证条件模态逻辑
Outstanding Contributions to Logic Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-25365-3_14
P. Girard
{"title":"Dialetheic Conditional Modal Logic","authors":"P. Girard","doi":"10.1007/978-3-030-25365-3_14","DOIUrl":"https://doi.org/10.1007/978-3-030-25365-3_14","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123068910","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 论非经典逻辑的语义与证明理论
Outstanding Contributions to Logic Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-71258-7
{"title":"Arnon Avron on Semantics and Proof Theory of Non-Classical Logics","authors":"","doi":"10.1007/978-3-030-71258-7","DOIUrl":"https://doi.org/10.1007/978-3-030-71258-7","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127224456","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信