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

Journal of Logic Language and Information最新文献

筛选
英文 中文
Some Notes on Dyadic Contingency 关于Dyadic偶然性的几点注记
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-10-05 DOI: 10.1007/s10849-022-09385-8
Jie Fan
{"title":"Some Notes on Dyadic Contingency","authors":"Jie Fan","doi":"10.1007/s10849-022-09385-8","DOIUrl":"https://doi.org/10.1007/s10849-022-09385-8","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"209 - 217"},"PeriodicalIF":0.8,"publicationDate":"2022-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43630059","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
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5 包括S4和S5在内的正规模态逻辑的伪识别演算和语义
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-10-04 DOI: 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}
引用次数: 0
Referentiality and Configurationality in the Idiom and the Phrasal Verb 习语和动词短语中的指称性和构形性
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-09-27 DOI: 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}
引用次数: 0
Non-transitive Correspondence Analysis 非传递对应分析
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-09-19 DOI: 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}
引用次数: 2
A Substructural Approach to Explicit Modal Logic 显式模态逻辑的子结构方法
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-09-08 DOI: 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}
引用次数: 1
Algebraic Effects for Extensible Dynamic Semantics 可扩展动态语义的代数效应
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-08-26 DOI: 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}
引用次数: 0
On the (Complete) Reasons Behind Decisions 关于决定背后的(完整)原因
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-08-18 DOI: 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}
引用次数: 9
An Epistemic Separation Logic with Action Models 具有动作模型的认识分离逻辑
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-08-10 DOI: 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}
引用次数: 2
Revising System Specifications in Temporal Logic 修改时序逻辑中的系统规范
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-08-06 DOI: 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}
引用次数: 0
Computable Heyting Algebras with Distinguished Atoms and Coatoms 具有可分辨原子和凝聚子的可计算Heyting代数
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2022-07-27 DOI: 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}
引用次数: 0
首页 上一页 下一页 尾页
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学术官方微信