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

Johan van Benthem on Logic and Information Dynamics最新文献

筛选
英文 中文
Belief Revision and Dynamic Logic 信念修正与动态逻辑
Johan van Benthem on Logic and Information Dynamics Pub Date : 2014-08-27 DOI: 10.1007/978-3-319-06025-5_8
P. Girard, H. Rott
{"title":"Belief Revision and Dynamic Logic","authors":"P. Girard, H. Rott","doi":"10.1007/978-3-319-06025-5_8","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_8","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133264597","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}
引用次数: 23
Comparing Theories: The Dynamics of Changing Vocabulary 比较理论:词汇变化的动态
Johan van Benthem on Logic and Information Dynamics Pub Date : 2013-07-07 DOI: 10.1007/978-3-319-06025-5_6
H. Andréka, I. Németi
{"title":"Comparing Theories: The Dynamics of Changing Vocabulary","authors":"H. Andréka, I. Németi","doi":"10.1007/978-3-319-06025-5_6","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_6","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133650988","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}
引用次数: 18
Logic and Game Theory 逻辑学与博弈论
Johan van Benthem on Logic and Information Dynamics Pub Date : 2013-05-07 DOI: 10.1007/978-3-319-06025-5_15
G. Bonanno, C. Dégremont
{"title":"Logic and Game Theory","authors":"G. Bonanno, C. Dégremont","doi":"10.1007/978-3-319-06025-5_15","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_15","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133174142","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}
引用次数: 5
Unified Correspondence 统一通信
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_36
Willem Conradie, S. Ghilardi, A. Palmigiano
{"title":"Unified Correspondence","authors":"Willem Conradie, S. Ghilardi, A. Palmigiano","doi":"10.1007/978-3-319-06025-5_36","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_36","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115017011","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}
引用次数: 70
Dynamic Epistemic Logic as a Substructural Logic 作为子结构逻辑的动态认知逻辑
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_33
Guillaume Aucher
{"title":"Dynamic Epistemic Logic as a Substructural Logic","authors":"Guillaume Aucher","doi":"10.1007/978-3-319-06025-5_33","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_33","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130874197","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
An Alternative Analysis of Signaling Games 信号博弈的另一种分析
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_19
G. Sandu
{"title":"An Alternative Analysis of Signaling Games","authors":"G. Sandu","doi":"10.1007/978-3-319-06025-5_19","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_19","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133255456","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}
引用次数: 1
Incorporating Action Models into the Situation Calculus 将行动模型纳入情境演算
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_21
Yongmei Liu, H. Levesque
{"title":"Incorporating Action Models into the Situation Calculus","authors":"Yongmei Liu, H. Levesque","doi":"10.1007/978-3-319-06025-5_21","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_21","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130871536","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}
引用次数: 1
Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient 计算复杂性和认知科学:身体和世界如何帮助大脑高效
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_31
P. Gärdenfors
{"title":"Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient","authors":"P. Gärdenfors","doi":"10.1007/978-3-319-06025-5_31","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_31","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116149120","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}
引用次数: 0
Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective 可表达性模双相似:一个共代数的观点
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_2
Y. Venema
{"title":"Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective","authors":"Y. Venema","doi":"10.1007/978-3-319-06025-5_2","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_2","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116675230","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}
引用次数: 10
The Logic of Best Actions from a Deontic Perspective 从道义的角度看最佳行为的逻辑
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_24
O. Roy, Albert J. J. Anglberger, N. Gratzl
{"title":"The Logic of Best Actions from a Deontic Perspective","authors":"O. Roy, Albert J. J. Anglberger, N. Gratzl","doi":"10.1007/978-3-319-06025-5_24","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_24","url":null,"abstract":"","PeriodicalId":270013,"journal":{"name":"Johan van Benthem on Logic and Information Dynamics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123074079","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}
引用次数: 8
下一页 尾页
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学术官方微信