Pub Date : 2022-01-01Epub Date: 2022-03-17DOI: 10.1007/s10849-022-09351-4
Kai Li, Jan van Eijck
The paper gives a formal analysis of public lies, explains how public lying is related to public announcement, and describes the process of recoveries from false beliefs engendered by public lying. The framework treats two kinds of public lies: simple lying update and two-step lying, which consists of suggesting that the lie may be true followed by announcing the lie. It turns out that agents' convictions of what is true are immune to the first kind, but can be shattered by the second kind. Next, recovery from public lying is analyzed. Public lies that are accepted by an audience cannot be undone simply by announcing their negation. The paper proposes a recovery process that works well for restoring beliefs about facts but cannot be extended to beliefs about beliefs. The formal machinery of the paper consists of KD45 models and conditional neighbourhood models, with various update procedures on them. Completeness proofs for a number of reasoning systems (converse belief logic, public lies logic, lying and recovery logic, conditional neighbourhood logic, plus its dynamic version) are included.
{"title":"Public Announcements, Public Lies and Recoveries.","authors":"Kai Li, Jan van Eijck","doi":"10.1007/s10849-022-09351-4","DOIUrl":"https://doi.org/10.1007/s10849-022-09351-4","url":null,"abstract":"<p><p>The paper gives a formal analysis of public lies, explains how public lying is related to public announcement, and describes the process of recoveries from false beliefs engendered by public lying. The framework treats two kinds of public lies: simple lying update and two-step lying, which consists of suggesting that the lie may be true followed by announcing the lie. It turns out that agents' convictions of what is true are immune to the first kind, but can be shattered by the second kind. Next, recovery from public lying is analyzed. Public lies that are accepted by an audience cannot be undone simply by announcing their negation. The paper proposes a recovery process that works well for restoring beliefs about facts but cannot be extended to beliefs about beliefs. The formal machinery of the paper consists of KD45 models and conditional neighbourhood models, with various update procedures on them. Completeness proofs for a number of reasoning systems (converse belief logic, public lies logic, lying and recovery logic, conditional neighbourhood logic, plus its dynamic version) are included.</p>","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"31 3","pages":"423-450"},"PeriodicalIF":0.8,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8929470/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"40313175","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-01-01Epub Date: 2022-10-07DOI: 10.1007/s10849-022-09387-6
Lawrence Moss, Ruy de Queiroz
{"title":"25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018.","authors":"Lawrence Moss, Ruy de Queiroz","doi":"10.1007/s10849-022-09387-6","DOIUrl":"https://doi.org/10.1007/s10849-022-09387-6","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"31 4","pages":"525-527"},"PeriodicalIF":0.8,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9540042/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"33514834","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-12-30DOI: 10.1007/s10849-022-09384-9
Abhisekh Sankaran
{"title":"Feferman–Vaught Decompositions for Prefix Classes of First Order Logic","authors":"Abhisekh Sankaran","doi":"10.1007/s10849-022-09384-9","DOIUrl":"https://doi.org/10.1007/s10849-022-09384-9","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"147 - 174"},"PeriodicalIF":0.8,"publicationDate":"2021-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47161774","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 : 2021-12-05DOI: 10.1007/s10849-023-09396-z
Steffen Lewitzka
{"title":"Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity","authors":"Steffen Lewitzka","doi":"10.1007/s10849-023-09396-z","DOIUrl":"https://doi.org/10.1007/s10849-023-09396-z","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"441 - 471"},"PeriodicalIF":0.8,"publicationDate":"2021-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52372493","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}
{"title":"Negative Stripping in English: A Corpus-based Approach","authors":"geon-hwan Lee, Jong-Bok Kim","doi":"10.29403/li.25.3.2","DOIUrl":"https://doi.org/10.29403/li.25.3.2","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"177 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2021-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76613307","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}
{"title":"Verification of Korean Pre-trained Models' Feasibility of Syntactic Research Using Pairwise Sentences","authors":"Kwonsik Park, S. Kim, Sanghoun Song","doi":"10.29403/li.25.3.1","DOIUrl":"https://doi.org/10.29403/li.25.3.1","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"9 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2021-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84526649","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 : 2021-11-21DOI: 10.1007/s10849-021-09347-6
Matías Osta-Vélez, P. Gärdenfors
{"title":"Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces","authors":"Matías Osta-Vélez, P. Gärdenfors","doi":"10.1007/s10849-021-09347-6","DOIUrl":"https://doi.org/10.1007/s10849-021-09347-6","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"31 1","pages":"77 - 97"},"PeriodicalIF":0.8,"publicationDate":"2021-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46563324","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 : 2021-10-18DOI: 10.1007/s10849-021-09346-7
Giosuè Baggio
{"title":"Book Review","authors":"Giosuè Baggio","doi":"10.1007/s10849-021-09346-7","DOIUrl":"https://doi.org/10.1007/s10849-021-09346-7","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"819 - 823"},"PeriodicalIF":0.8,"publicationDate":"2021-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41323418","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 : 2021-10-13DOI: 10.1007/s10849-021-09345-8
Ka-fat Chow
{"title":"Relational Syllogisms with Numerical Quantifiers and Beyond","authors":"Ka-fat Chow","doi":"10.1007/s10849-021-09345-8","DOIUrl":"https://doi.org/10.1007/s10849-021-09345-8","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"31 1","pages":"1 - 34"},"PeriodicalIF":0.8,"publicationDate":"2021-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41731494","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 : 2021-10-07DOI: 10.1007/s10849-021-09341-y
Gianluca Grilletti
{"title":"Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic","authors":"Gianluca Grilletti","doi":"10.1007/s10849-021-09341-y","DOIUrl":"https://doi.org/10.1007/s10849-021-09341-y","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"30 1","pages":"725 - 751"},"PeriodicalIF":0.8,"publicationDate":"2021-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46886134","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号