Pub Date : 2022-10-04DOI: 10.1007/s10849-022-09386-7
N. Kamide
{"title":"Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5","authors":"N. Kamide","doi":"10.1007/s10849-022-09386-7","DOIUrl":"https://doi.org/10.1007/s10849-022-09386-7","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"395 - 440"},"PeriodicalIF":0.8,"publicationDate":"2022-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49485909","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 : 2022-09-27DOI: 10.1007/s10849-022-09381-y
Cem Bozsahin
{"title":"Referentiality and Configurationality in the Idiom and the Phrasal Verb","authors":"Cem Bozsahin","doi":"10.1007/s10849-022-09381-y","DOIUrl":"https://doi.org/10.1007/s10849-022-09381-y","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"175 - 207"},"PeriodicalIF":0.8,"publicationDate":"2022-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48976831","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 : 2022-09-19DOI: 10.1007/s10849-022-09382-x
Y. Petrukhin, V. Shangin
{"title":"Non-transitive Correspondence Analysis","authors":"Y. Petrukhin, V. Shangin","doi":"10.1007/s10849-022-09382-x","DOIUrl":"https://doi.org/10.1007/s10849-022-09382-x","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"247 - 273"},"PeriodicalIF":0.8,"publicationDate":"2022-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45361870","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 : 2022-09-08DOI: 10.1007/s10849-022-09380-z
Shawn Standefer
{"title":"A Substructural Approach to Explicit Modal Logic","authors":"Shawn Standefer","doi":"10.1007/s10849-022-09380-z","DOIUrl":"https://doi.org/10.1007/s10849-022-09380-z","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"333 - 362"},"PeriodicalIF":0.8,"publicationDate":"2022-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46849497","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 : 2022-08-26DOI: 10.1007/s10849-022-09378-7
Julian Grove, Jean-Philippe Bernardy
{"title":"Algebraic Effects for Extensible Dynamic Semantics","authors":"Julian Grove, Jean-Philippe Bernardy","doi":"10.1007/s10849-022-09378-7","DOIUrl":"https://doi.org/10.1007/s10849-022-09378-7","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"1 1","pages":"219 - 245"},"PeriodicalIF":0.8,"publicationDate":"2022-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52372471","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 : 2022-08-18DOI: 10.1007/s10849-022-09377-8
Adnan Darwiche, Auguste Hirth
{"title":"On the (Complete) Reasons Behind Decisions","authors":"Adnan Darwiche, Auguste Hirth","doi":"10.1007/s10849-022-09377-8","DOIUrl":"https://doi.org/10.1007/s10849-022-09377-8","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"63 - 88"},"PeriodicalIF":0.8,"publicationDate":"2022-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45227205","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 : 2022-08-10DOI: 10.1007/s10849-022-09372-z
H. van Ditmarsch, D. Galmiche, Marta Gawek
{"title":"An Epistemic Separation Logic with Action Models","authors":"H. van Ditmarsch, D. Galmiche, Marta Gawek","doi":"10.1007/s10849-022-09372-z","DOIUrl":"https://doi.org/10.1007/s10849-022-09372-z","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"89 - 116"},"PeriodicalIF":0.8,"publicationDate":"2022-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42938000","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 : 2022-08-06DOI: 10.1007/s10849-022-09376-9
Paulo T. Guerra, Renata Wassermann
{"title":"Revising System Specifications in Temporal Logic","authors":"Paulo T. Guerra, Renata Wassermann","doi":"10.1007/s10849-022-09376-9","DOIUrl":"https://doi.org/10.1007/s10849-022-09376-9","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"31 1","pages":"591 - 618"},"PeriodicalIF":0.8,"publicationDate":"2022-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42782778","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 : 2022-07-27DOI: 10.1007/s10849-022-09371-0
N. Bazhenov
{"title":"Computable Heyting Algebras with Distinguished Atoms and Coatoms","authors":"N. Bazhenov","doi":"10.1007/s10849-022-09371-0","DOIUrl":"https://doi.org/10.1007/s10849-022-09371-0","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"3 - 18"},"PeriodicalIF":0.8,"publicationDate":"2022-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43041776","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 : 2022-07-26DOI: 10.1007/s10849-022-09373-y
Adrianna Jagiełło, P. Lisowski, Roman Urban
{"title":"Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space","authors":"Adrianna Jagiełło, P. Lisowski, Roman Urban","doi":"10.1007/s10849-022-09373-y","DOIUrl":"https://doi.org/10.1007/s10849-022-09373-y","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"31 1","pages":"389 - 408"},"PeriodicalIF":0.8,"publicationDate":"2022-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48713658","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
扫码关注我们
求助内容：
应助结果提醒方式：