乐胖代购免代理版

{"id":"https://openalex.org/W1671390322","doi":"https://doi.org/10.1007/s11229-015-0834-x","title":"Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces","display_name":"Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces","publication_year":2015,"publication_date":"2015-07-31","ids":{"openalex":"https://openalex.org/W1671390322","doi":"https://doi.org/10.1007/s11229-015-0834-x","mag":"1671390322"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-015-0834-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-015-0834-x.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11229-015-0834-x.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012252783","display_name":"Paolo Galeazzi","orcid":"https://orcid.org/0000-0002-6850-3435"},"institutions":[],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Paolo Galeazzi","raw_affiliation_strings":["ILLC - Institute for Logic, Language and Computation (Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands. - Netherlands)"],"affiliations":[{"raw_affiliation_string":"ILLC - Institute for Logic, Language and Computation (Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands. - Netherlands)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037462924","display_name":"Emiliano Lorini","orcid":"https://orcid.org/0000-0002-7014-6756"},"institutions":[{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210119061"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Emiliano Lorini","raw_affiliation_strings":["CNRS - Centre National de la Recherche Scientifique (France)","IRIT-LILaC - Logique, Interaction, Langue et Calcul (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)"],"affiliations":[{"raw_affiliation_string":"IRIT-LILaC - Logique, Interaction, Langue et Calcul (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990,"provenance":"doaj"},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990,"provenance":"doaj"},"fwci":0.883,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":12,"citation_normalized_percentile":{"value":0.888431,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":"193","issue":"7","first_page":"2097","last_page":"2127"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.9953,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.995,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/doxastic-logic","display_name":"Doxastic logic","score":0.93594486},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.5266119},{"id":"https://openalex.org/keywords/formal-epistemology","display_name":"Formal epistemology","score":0.5181014},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.42652875},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.422604}],"concepts":[{"id":"https://openalex.org/C68435242","wikidata":"https://www.wikidata.org/wiki/Q669180","display_name":"Doxastic logic","level":2,"score":0.93594486},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.75861293},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5926804},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5399326},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.5266119},{"id":"https://openalex.org/C73059102","wikidata":"https://www.wikidata.org/wiki/Q5469960","display_name":"Formal epistemology","level":3,"score":0.5181014},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48163456},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.475788},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.43937027},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.42993814},{"id":"https://openalex.org/C110099512","wikidata":"https://www.wikidata.org/wiki/Q59115","display_name":"Philosophy of science","level":2,"score":0.42924035},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.42652875},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.422604},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40685025},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3647135},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.33232543},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2983582},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.19265115},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.18498766},{"id":"https://openalex.org/C39896673","wikidata":"https://www.wikidata.org/wiki/Q3589301","display_name":"Social epistemology","level":2,"score":0.12804446},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.12602535},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-015-0834-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-015-0834-x.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01809280","pdf_url":"https://hal.science/hal-01809280/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-01809280","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-015-0834-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-015-0834-x.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":43,"referenced_works":["https://openalex.org/W1485990531","https://openalex.org/W1500679563","https://openalex.org/W1525770870","https://openalex.org/W1527720545","https://openalex.org/W1566680026","https://openalex.org/W1574701569","https://openalex.org/W1870572278","https://openalex.org/W1974242716","https://openalex.org/W1995355963","https://openalex.org/W2008849728","https://openalex.org/W2015632512","https://openalex.org/W2016917647","https://openalex.org/W2025799736","https://openalex.org/W2038925917","https://openalex.org/W2042065436","https://openalex.org/W2051167594","https://openalex.org/W2053748277","https://openalex.org/W2060336054","https://openalex.org/W2067513880","https://openalex.org/W2092030382","https://openalex.org/W2102794165","https://openalex.org/W2108471978","https://openalex.org/W2122336644","https://openalex.org/W2144501579","https://openalex.org/W2146819619","https://openalex.org/W2265040937","https://openalex.org/W2466425706","https://openalex.org/W2500512096","https://openalex.org/W2610670723","https://openalex.org/W2748838717","https://openalex.org/W2950450725","https://openalex.org/W3100069195","https://openalex.org/W3103855201","https://openalex.org/W4205678468","https://openalex.org/W4210411973","https://openalex.org/W4211144022","https://openalex.org/W4234438757","https://openalex.org/W4243832938","https://openalex.org/W4250744658","https://openalex.org/W4292068704","https://openalex.org/W4299413730","https://openalex.org/W4388218763","https://openalex.org/W87027658"],"related_works":["https://openalex.org/W409201717","https://openalex.org/W2974949998","https://openalex.org/W2898270420","https://openalex.org/W2789185026","https://openalex.org/W2467605189","https://openalex.org/W2200082299","https://openalex.org/W2019179794","https://openalex.org/W1671390322","https://openalex.org/W1601885883","https://openalex.org/W111790121"],"abstract_inverted_index":{"In":[0],"the":[1,102,142,158,167,173,176,184,199],"literature":[2],"there":[3],"are":[4],"at":[5],"least":[6],"two":[7,103,113,143],"main":[8,92],"formal":[9,99],"structures":[10],"to":[11,81,112,141,191],"deal":[12],"with":[13,110,139],"situations":[14],"of":[15,94,107,136,157,166,172,189],"interactive":[16],"epistemology:":[17],"Kripke":[18,145],"models":[19],"and":[20,30,44,52,61,104,122,128,133,147,181,183,196,202],"type":[21,148],"spaces.":[22],"As":[23],"shown":[24],"in":[25,32,39,46,54,63,69,88,204],"many":[26],"papers":[27],"(see":[28],"Aumann":[29],"Brandenburger":[31],"Econometrica":[33],"36:1161\u20131180,":[34],"1995;":[35],"Baltag":[36],"et":[37],"al.":[38],"Synthese":[40],"169:301\u2013333,":[41],"2009;":[42],"Battigalli":[43,51],"Bonanno":[45],"Res":[47],"Econ":[48,56],"53(2):149\u2013225,":[49],"1999;":[50],"Siniscalchi":[53],"J":[55,70],"Theory":[57],"106:356\u2013391,":[58],"2002;":[59],"Klein":[60],"Pacuit":[62],"Stud":[64],"Log":[65,72],"102:297\u2013319,":[66],"2014;":[67],"Lorini":[68],"Philos":[71],"42(6):863\u2013904,":[73],"2013),":[74],"both":[75],"these":[76,137],"frameworks":[77],"can":[78],"be":[79],"used":[80],"express":[82],"epistemic":[83],"conditions":[84],"for":[85,120,126,179],"solution":[86],"concepts":[87],"game":[89],"theory.":[90],"The":[91],"result":[93,159,165],"this":[95],"paper":[96,168],"is":[97,151,160,169],"a":[98,105,117,131,154,170],"comparison":[100],"between":[101,175],"statement":[106],"semantic":[108],"equivalence":[109],"respect":[111,140],"different":[114],"logical":[115],"systems:":[116],"doxastic":[118],"logic":[119,125,178,185,188],"belief":[121,127,180],"an":[123],"epistemic\u2013doxastic":[124,177],"knowledge.":[129],"Moreover,":[130],"sound":[132],"complete":[134],"axiomatization":[135],"logics":[138],"equivalent":[144],"semantics":[146,150],"spaces":[149],"provided.":[152],"Finally,":[153],"probabilistic":[155],"extension":[156],"also":[161],"presented.":[162],"A":[163],"further":[164],"study":[171],"relationship":[174],"knowledge":[182],"STIT":[186],"(the":[187],"\"seeing":[190],"it":[192],"that\")":[193],"by":[194],"Belnap":[195],"colleagues":[197],"(Facing":[198],"future:":[200],"agents":[201],"choices":[203],"our":[205],"indeterminist":[206],"world,":[207],"2001).":[208]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1671390322","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2024-12-11T21:43:56.027469","created_date":"2016-06-24"}