Pub Date : 2014-08-27DOI: 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}
Pub Date : 2013-07-07DOI: 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}
Pub Date : 2013-05-07DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}