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

Studia Logica最新文献

筛选
英文 中文
$$varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics $$varvec{Brings~It~About~That}$$ 用关联语义分解的操作符
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-05-25 DOI: 10.1007/s11225-022-10030-5
Tomasz Jarmużek, Mateusz Klonowski, P. Kulicki
{"title":"$$varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics","authors":"Tomasz Jarmużek, Mateusz Klonowski, P. Kulicki","doi":"10.1007/s11225-022-10030-5","DOIUrl":"https://doi.org/10.1007/s11225-022-10030-5","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"39 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77681799","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Simple Logic of the Hide and Seek Game 捉迷藏游戏的简单逻辑
3区 数学
Studia Logica Pub Date : 2023-05-17 DOI: 10.1007/s11225-023-10039-4
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
{"title":"A Simple Logic of the Hide and Seek Game","authors":"Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu","doi":"10.1007/s11225-023-10039-4","DOIUrl":"https://doi.org/10.1007/s11225-023-10039-4","url":null,"abstract":"We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is $$textsf{P}$$ -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework.","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"38 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135861234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Connexivity in the Logic of Reasons 理性逻辑中的连通性
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-04-26 DOI: 10.1007/s11225-023-10041-w
Andrea Iacona
{"title":"Connexivity in the Logic of Reasons","authors":"Andrea Iacona","doi":"10.1007/s11225-023-10041-w","DOIUrl":"https://doi.org/10.1007/s11225-023-10041-w","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"317 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-04-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75252592","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Stalnakerian Connexive Logics
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-04-25 DOI: 10.1007/s11225-023-10043-8
Xuefeng Wen
{"title":"Stalnakerian Connexive Logics","authors":"Xuefeng Wen","doi":"10.1007/s11225-023-10043-8","DOIUrl":"https://doi.org/10.1007/s11225-023-10043-8","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"39 1","pages":"1-39"},"PeriodicalIF":0.7,"publicationDate":"2023-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80023935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Williamson’s Abductive Case for the Material Conditional Account 威廉姆森的物质条件账户诱拐案
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-04-15 DOI: 10.1007/s11225-023-10038-5
R. van Rooij, K. Krzyżanowska, I. Douven
{"title":"Williamson’s Abductive Case for the Material Conditional Account","authors":"R. van Rooij, K. Krzyżanowska, I. Douven","doi":"10.1007/s11225-023-10038-5","DOIUrl":"https://doi.org/10.1007/s11225-023-10038-5","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"44 1","pages":"653 - 685"},"PeriodicalIF":0.7,"publicationDate":"2023-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76275150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic Artemov和Protopopescu的直觉主义认知逻辑的一阶展开
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-03-20 DOI: 10.1007/s11225-023-10037-6
Youan Su, Katsuhiko Sano
{"title":"A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic","authors":"Youan Su, Katsuhiko Sano","doi":"10.1007/s11225-023-10037-6","DOIUrl":"https://doi.org/10.1007/s11225-023-10037-6","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"17 1","pages":"1-38"},"PeriodicalIF":0.7,"publicationDate":"2023-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86935748","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €. 更正:Can bakent, Thomas Macaulay Ferguson(编)，Graham Priest on Dialetheism and paracon谐，施普林格International Publishing，对逻辑的杰出贡献，Vol. 18, 2019, pp. 704+xi;ISBN 978-3-030-25367-7(软装)106.99€，ISBN 978-3-030-25364-6(精装)149.79€。
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-02-01 DOI: 10.1007/s11225-022-09999-w
Bożena Czernecka-Rej
{"title":"Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €.","authors":"Bożena Czernecka-Rej","doi":"10.1007/s11225-022-09999-w","DOIUrl":"https://doi.org/10.1007/s11225-022-09999-w","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"10 1","pages":"145-146"},"PeriodicalIF":0.7,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87514467","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics 蕴涵类递推逻辑的Birkhoff定理和Mal 'cev定理
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-01-31 DOI: 10.1007/s11225-023-10035-8
Eunsuk Yang
{"title":"Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics","authors":"Eunsuk Yang","doi":"10.1007/s11225-023-10035-8","DOIUrl":"https://doi.org/10.1007/s11225-023-10035-8","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"43 1","pages":"501 - 519"},"PeriodicalIF":0.7,"publicationDate":"2023-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90954637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs 论证明的布尔代数结构:关于证明逻辑的代数语义
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-01-31 DOI: 10.1007/s11225-022-10033-2
A. Farahmand Parsa, Meghdad Ghari
{"title":"On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs","authors":"A. Farahmand Parsa, Meghdad Ghari","doi":"10.1007/s11225-022-10033-2","DOIUrl":"https://doi.org/10.1007/s11225-022-10033-2","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"13 1","pages":"1-41"},"PeriodicalIF":0.7,"publicationDate":"2023-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75755485","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Axiomatic System for Concessive Conditionals 让步条件句的公理化系统
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-01-31 DOI: 10.1007/s11225-022-10034-1
Eric Raidl, Andrea Iacona, Vincenzo Crupi
{"title":"An Axiomatic System for Concessive Conditionals","authors":"Eric Raidl, Andrea Iacona, Vincenzo Crupi","doi":"10.1007/s11225-022-10034-1","DOIUrl":"https://doi.org/10.1007/s11225-022-10034-1","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"204 1","pages":"1-21"},"PeriodicalIF":0.7,"publicationDate":"2023-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77522917","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"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学术文献互助群
群 号：481959085
Book学术官方微信