Pub Date : 2023-05-17DOI: 10.1007/s11225-023-10039-4
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
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.
{"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}
Pub Date : 2023-04-26DOI: 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}
Pub Date : 2023-04-15DOI: 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}
Pub Date : 2023-02-01DOI: 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}
Pub Date : 2023-01-31DOI: 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}
Pub Date : 2023-01-31DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：