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

Advances in Modal Logic最新文献

筛选
英文 中文
Homophonic Theory of Truth for Tense Logic 时态逻辑的谐音真理论
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0004
T. Braüner
{"title":"Homophonic Theory of Truth for Tense Logic","authors":"T. Braüner","doi":"10.1142/9789812776471_0004","DOIUrl":"https://doi.org/10.1142/9789812776471_0004","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129378853","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Outline of a Logic of Action 行动逻辑大纲
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0020
K. Segerberg
{"title":"Outline of a Logic of Action","authors":"K. Segerberg","doi":"10.1142/9789812776471_0020","DOIUrl":"https://doi.org/10.1142/9789812776471_0020","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127469285","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Weak Necessity on Weak Kleene Matrices 弱Kleene矩阵的弱必要性
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0005
F. Correia
{"title":"Weak Necessity on Weak Kleene Matrices","authors":"F. Correia","doi":"10.1142/9789812776471_0005","DOIUrl":"https://doi.org/10.1142/9789812776471_0005","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123120699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Sahlqvist Formulas Unleashed in Polyadic Modal Languages 多分模态语言中释放的Sahlqvist公式
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0012
V. Goranko, D. Vakarelov
{"title":"Sahlqvist Formulas Unleashed in Polyadic Modal Languages","authors":"V. Goranko, D. Vakarelov","doi":"10.1142/9789812776471_0012","DOIUrl":"https://doi.org/10.1142/9789812776471_0012","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115540905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 31
Modal Logics with Weak Forms of Recursion: PSPACE Specimens 具有弱递归形式的模态逻辑:PSPACE样本
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0007
Stephane Demri
{"title":"Modal Logics with Weak Forms of Recursion: PSPACE Specimens","authors":"Stephane Demri","doi":"10.1142/9789812776471_0007","DOIUrl":"https://doi.org/10.1142/9789812776471_0007","url":null,"abstract":"abstract. We analyze the computational complexity of extensions of the multimodal version of the standard modal logic K by finite addition of axiom schemes that can be read as the production rules of a formal grammar. By using proof-theoretical means, we show that every right linear grammar logic has a satisfiability problem in deterministic exponential time and we exhibit count-ably infinite classes of right linear grammar logics that contain weak forms of recursion for which the satisfiability problem can be solved in polynomial space.","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125348520","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4 模态逻辑K4无限片扩展中的射影Beth的性质
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0019
L. Maksimova
{"title":"Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4","authors":"L. Maksimova","doi":"10.1142/9789812776471_0019","DOIUrl":"https://doi.org/10.1142/9789812776471_0019","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124806743","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Epistemic Logic of Shallow Depths and Game Theoretical Applications 浅深度认知逻辑与博弈论应用
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0015
M. Kaneko, Nobu-Yuki Suzuki
{"title":"Epistemic Logic of Shallow Depths and Game Theoretical Applications","authors":"M. Kaneko, Nobu-Yuki Suzuki","doi":"10.1142/9789812776471_0015","DOIUrl":"https://doi.org/10.1142/9789812776471_0015","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125994070","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
From Description to Hybrid Logics, and Back 从描述到混合逻辑，再回来
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0002
C. Areces, M. de Rijke
{"title":"From Description to Hybrid Logics, and Back","authors":"C. Areces, M. de Rijke","doi":"10.1142/9789812776471_0002","DOIUrl":"https://doi.org/10.1142/9789812776471_0002","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"7 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120862341","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Normal Products of Modal Logics 模态逻辑的正规积
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0013
Yasusi Hasimoto
{"title":"Normal Products of Modal Logics","authors":"Yasusi Hasimoto","doi":"10.1142/9789812776471_0013","DOIUrl":"https://doi.org/10.1142/9789812776471_0013","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"11 13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116818417","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting 双重时间参考:言语-行为报告在不确定性语境中的模态
Advances in Modal Logic Pub Date : 1900-01-01 DOI: 10.1142/9789812776471_0003
Nuel Belnap
{"title":"Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting","authors":"Nuel Belnap","doi":"10.1142/9789812776471_0003","DOIUrl":"https://doi.org/10.1142/9789812776471_0003","url":null,"abstract":"","PeriodicalId":129696,"journal":{"name":"Advances in Modal Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129319401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 39
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书