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

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

筛选
英文 中文
Dynamic Versus Classical Consequence 动态推理与经典推理
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_32
Denis Bonnay, D. Westerståhl
{"title":"Dynamic Versus Classical Consequence","authors":"Denis Bonnay, D. Westerståhl","doi":"10.1007/978-3-319-06025-5_32","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_32","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":"129659893","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
Schema Mappings: A Case of Logical Dynamics in Database Theory 模式映射:数据库理论中逻辑动态的一个例子
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_3
B. T. Cate, Phokion G. Kolaitis
{"title":"Schema Mappings: A Case of Logical Dynamics in Database Theory","authors":"B. T. Cate, Phokion G. Kolaitis","doi":"10.1007/978-3-319-06025-5_3","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_3","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":"126833754","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}
引用次数: 2
Logic and Probabilistic Update 逻辑和概率更新
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_13
L. Demey, Barteld P. Kooi
{"title":"Logic and Probabilistic Update","authors":"L. Demey, Barteld P. Kooi","doi":"10.1007/978-3-319-06025-5_13","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_13","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":"127461065","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}
引用次数: 9
Arguing About Dynamic Meaning 争论动态意义
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_28
M. Stokhof
{"title":"Arguing About Dynamic Meaning","authors":"M. Stokhof","doi":"10.1007/978-3-319-06025-5_28","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_28","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":"134590513","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
When are Two Arguments the Same? Equivalence in Abstract Argumentation 什么时候两个参数是相同的?抽象论证中的等价
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_25
D. Gabbay, Davide Grossi
{"title":"When are Two Arguments the Same? Equivalence in Abstract Argumentation","authors":"D. Gabbay, Davide Grossi","doi":"10.1007/978-3-319-06025-5_25","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_25","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":"116556931","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
Logical Player Types for a Theory of Play 游戏理论的逻辑玩家类型
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_18
R. Ramanujam
{"title":"Logical Player Types for a Theory of Play","authors":"R. Ramanujam","doi":"10.1007/978-3-319-06025-5_18","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_18","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":"124855988","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
On Definitive Solutions of Strategic Games 论策略游戏的确定性解决方案
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_17
Sergei N. Artëmov
{"title":"On Definitive Solutions of Strategic Games","authors":"Sergei N. Artëmov","doi":"10.1007/978-3-319-06025-5_17","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_17","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":"131250533","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
From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value 从好到更好:使用上下文转换来定义单值偏好
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_27
S. Hansson, Fenrong Liu
{"title":"From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value","authors":"S. Hansson, Fenrong Liu","doi":"10.1007/978-3-319-06025-5_27","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_27","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":"125206753","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}
引用次数: 2
Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras 指向箭头的箭头:箭头逻辑，关联逻辑和关系代数
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_34
J. Dunn
{"title":"Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras","authors":"J. Dunn","doi":"10.1007/978-3-319-06025-5_34","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_34","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":"115034208","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
Belief as a Simplification of Probability, and What This Entails 作为概率简化的信念及其内涵
Johan van Benthem on Logic and Information Dynamics Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-06025-5_14
H. Leitgeb
{"title":"Belief as a Simplification of Probability, and What This Entails","authors":"H. Leitgeb","doi":"10.1007/978-3-319-06025-5_14","DOIUrl":"https://doi.org/10.1007/978-3-319-06025-5_14","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":"123695125","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
首页 上一页 下一页 尾页
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学术官方微信