乐胖代购免代理版

{"id":"https://openalex.org/W2092346246","doi":"https://doi.org/10.1093/logcom/exn060","title":"Tableaux for Public Announcement Logic","display_name":"Tableaux for Public Announcement Logic","publication_year":2008,"publication_date":"2008-11-21","ids":{"openalex":"https://openalex.org/W2092346246","doi":"https://doi.org/10.1093/logcom/exn060","mag":"2092346246"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exn060","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043349795","display_name":"Philippe Balbiani","orcid":"https://orcid.org/0000-0002-3569-9160"},"institutions":[{"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":"P. Balbiani","raw_affiliation_strings":["Centre National de la Recherche Scientifique","Logique, Interaction, Langue et Calcul"],"affiliations":[{"raw_affiliation_string":"Logique, Interaction, Langue et Calcul","institution_ids":[]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046182700","display_name":"Hans van Ditmarsch","orcid":"https://orcid.org/0000-0003-4526-8687"},"institutions":[{"id":"https://openalex.org/I80281795","display_name":"University of Otago","ror":"https://ror.org/01jmxt844","country_code":"NZ","type":"education","lineage":["https://openalex.org/I80281795"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"H. van Ditmarsch","raw_affiliation_strings":["Logique, Interaction, Langue et Calcul","University of Otago [Dunedin, Nouvelle-Z\u00e9lande]"],"affiliations":[{"raw_affiliation_string":"University of Otago [Dunedin, Nouvelle-Z\u00e9lande]","institution_ids":["https://openalex.org/I80281795"]},{"raw_affiliation_string":"Logique, Interaction, Langue et Calcul","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004332415","display_name":"Andreas Herzig","orcid":"https://orcid.org/0000-0003-0833-2782"},"institutions":[{"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":"A. Herzig","raw_affiliation_strings":["Centre National de la Recherche Scientifique","Logique, Interaction, Langue et Calcul"],"affiliations":[{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Logique, Interaction, Langue et Calcul","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103150443","display_name":"Tiago de Lima","orcid":"https://orcid.org/0000-0003-4454-1127"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I10824318","display_name":"Universidade Federal de Ouro Preto","ror":"https://ror.org/056s65p46","country_code":"BR","type":"education","lineage":["https://openalex.org/I10824318"]}],"countries":["BR","NL"],"is_corresponding":false,"raw_author_name":"T. de Lima","raw_affiliation_strings":["Eindhoven University of Technology [Eindhoven]","Universidade Federal de Ouro Preto"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology [Eindhoven]","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Universidade Federal de Ouro Preto","institution_ids":["https://openalex.org/I10824318"]}]}],"institution_assertions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151,"provenance":"doaj"},"apc_paid":null,"fwci":2.937,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":39,"citation_normalized_percentile":{"value":0.943332,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":92,"max":93},"biblio":{"volume":"20","issue":"1","first_page":"55","last_page":"76"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9996,"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.9996,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9991,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9946,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.6029494},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.3988198},{"id":"https://openalex.org/C29595303","wikidata":"https://www.wikidata.org/wiki/Q165650","display_name":"Media studies","level":1,"score":0.36993772},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.3690659},{"id":"https://openalex.org/C52119013","wikidata":"https://www.wikidata.org/wiki/Q50637","display_name":"Art history","level":1,"score":0.3652663},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.31676584},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.2933616},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27275658}],"mesh":[],"locations_count":3,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exn060","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-03470301","pdf_url":null,"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_indexed_in_scopus":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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-03470301","pdf_url":null,"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_indexed_in_scopus":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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":11,"referenced_works":["https://openalex.org/W1497616999","https://openalex.org/W1513869636","https://openalex.org/W1570374618","https://openalex.org/W2034679184","https://openalex.org/W2076073997","https://openalex.org/W2096959337","https://openalex.org/W2107969197","https://openalex.org/W2120613606","https://openalex.org/W2154633338","https://openalex.org/W2170447572","https://openalex.org/W4213255959"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3193615524","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W2748952813","https://openalex.org/W1531601525"],"abstract_inverted_index":{"Journal":[0,173],"Article":[1,191],"Tableaux":[2],"for":[3,35,87,124,162],"Public":[4],"Announcement":[5],"Logic":[6,175],"Get":[7],"access":[8],"Philippe":[9,11],"Balbiani,":[10],"Balbiani":[12],"Universit\u00e9":[13,65,102],"de":[14,18,22,26,66,70,74,78,103,107,111,115,136,139],"Toulouse,":[15,23,29,67,75,104,112],"CNRS":[16,68,105],"Institut":[17,69,106],"Recherche":[19,71,108],"en":[20,72,109],"Informatique":[21,73,110],"118":[24,76,113],"route":[25,77,114],"Narbonne,":[27,79,116],"31062":[28,80,117],"CEDEX":[30,82,119],"9,":[31,83,120],"France.E-mail:":[32,84,121],"balbiani@irit.fr":[33],"Search":[34,86,123,161],"other":[36,88,125,163],"works":[37,89,126,164],"by":[38,90,127,165],"this":[39,91,128,166],"author":[40,92,129,167],"on:":[41,93,130,168],"Oxford":[42,94,131,169],"Academic":[43,95,132,170],"Google":[44,96,133,171],"Scholar":[45,97,134,172],"Hans":[46,49],"van":[47,50],"Ditmarsch,":[48],"Ditmarsch":[51],"University":[52,142],"of":[53,143,146,174],"Otago,":[54],"Computer":[55],"Science,":[56],"PO":[57,152],"Box":[58,153],"56":[59],"9054":[60],"Dunedin,":[61],"New":[62],"Zealand":[63],"and":[64,149,176],"Toulouse":[81,118],"hans@cs.otago.ac.nz":[85],"Andreas":[98,100],"Herzig,":[99],"Herzig":[101],"herzig@irit.fr":[122],"Tiago":[135,138],"Lima":[137,140],"Eindhoven":[141],"Technology,":[144],"Department":[145],"Industrial":[147],"Engineering":[148],"Innovation":[150],"Sciences,":[151],"513,":[154],"5600":[155],"MB":[156],"EINDHOVEN,":[157],"The":[158],"Netherlands.E-mail:":[159],"t.d.lima@tue.nl":[160],"Computation,":[177],"Volume":[178],"20,":[179],"Issue":[180],"1,":[181],"February":[182,195],"2010,":[183],"Pages":[184],"55\u201376,":[185],"https://doi.org/10.1093/logcom/exn060":[186],"Published:":[187,197],"21":[188,198],"November":[189,199],"2008":[190,196,200],"history":[192],"Received:":[193],"01":[194]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2092346246","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":5}],"updated_date":"2025-01-19T13:00:09.431486","created_date":"2016-06-24"}