{"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":{"id":"doi:10.1093/logcom/exn060","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_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"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"]},{"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/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"P. Balbiani","raw_affiliation_strings":["Universit\u00e9 de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse, CEDEX 9, France","Logique, Interaction, Langue et Calcul","Centre National de la Recherche Scientifique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse, CEDEX 9, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I1294671590"]},{"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/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"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":["FR","NZ"],"is_corresponding":false,"raw_author_name":"H. van Ditmarsch","raw_affiliation_strings":["University of Otago, Computer Science, PO Box 56 9054 Dunedin, New Zealand and Universit\u00e9 de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse CEDEX 9, France","University of Otago [Dunedin, Nouvelle-Z\u00e9lande]","Logique, Interaction, Langue et Calcul"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Otago, Computer Science, PO Box 56 9054 Dunedin, New Zealand and Universit\u00e9 de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse CEDEX 9, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I1294671590"]},{"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"]},{"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/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"A. Herzig","raw_affiliation_strings":["Universit\u00e9 de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse CEDEX 9, France","Logique, Interaction, Langue et Calcul","Centre National de la Recherche Scientifique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Toulouse, CNRS Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse CEDEX 9, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I1294671590"]},{"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":"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/I10824318","display_name":"Universidade Federal de Ouro Preto","ror":"https://ror.org/056s65p46","country_code":"BR","type":"education","lineage":["https://openalex.org/I10824318"]},{"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"]}],"countries":["BR","NL"],"is_corresponding":false,"raw_author_name":"T. de Lima","raw_affiliation_strings":["Eindhoven University of Technology, Department of Industrial Engineering and Innovation Sciences, PO Box 513, 5600 MB EINDHOVEN, The Netherlands","Eindhoven University of Technology [Eindhoven]","Universidade Federal de Ouro Preto"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Department of Industrial Engineering and Innovation Sciences, PO Box 513, 5600 MB EINDHOVEN, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"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"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":4.114,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.93752629,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"20","issue":"1","first_page":"55","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9995999932289124,"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.9991000294685364,"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.9945999979972839,"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":[{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.6029493808746338},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.39881980419158936},{"id":"https://openalex.org/keywords/media-studies","display_name":"Media studies","score":0.3699377179145813},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.36906591057777405},{"id":"https://openalex.org/keywords/art-history","display_name":"Art history","score":0.3652662932872772},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.31676584482192993},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.2933616042137146},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.27275657653808594}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.6029493808746338},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.39881980419158936},{"id":"https://openalex.org/C29595303","wikidata":"https://www.wikidata.org/wiki/Q165650","display_name":"Media studies","level":1,"score":0.3699377179145813},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.36906591057777405},{"id":"https://openalex.org/C52119013","wikidata":"https://www.wikidata.org/wiki/Q50637","display_name":"Art history","level":1,"score":0.3652662932872772},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.31676584482192993},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.2933616042137146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27275657653808594}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1093/logcom/exn060","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_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:publications/f5eabcad-a326-4c48-a177-2b8383e562a0","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/f5eabcad-a326-4c48-a177-2b8383e562a0","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Balbiani, P, Ditmarsch, van, H, Herzig, A & Lima, de, T 2010, 'Tableaux for public announcement logic', Journal of Logic and Computation, vol. 20, no. 1, pp. 55-76. https://doi.org/10.1093/logcom/exn060","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-03470301v1","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":false,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩","raw_type":"Journal articles"},{"id":"pmh:tue:oai:pure.tue.nl:publications/f5eabcad-a326-4c48-a177-2b8383e562a0","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/f5eabcad-a326-4c48-a177-2b8383e562a0","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Logic and Computation, 20(1), 55 - 76. Oxford University Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"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/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","https://openalex.org/W3193615524"],"abstract_inverted_index":{"Public":[0],"announcement":[1],"logic":[2,6],"extends":[3],"multi-agent":[4],"epistemic":[5],"with":[7],"dynamic":[8],"operators":[9],"to":[10,17,52],"model":[11],"the":[12,18],"informational":[13],"consequences":[14],"of":[15,21,41],"announcements":[16],"entire":[19],"group":[20],"agents.":[22],"In":[23],"this":[24,33,48],"article,":[25],"we":[26],"propose":[27],"a":[28],"labelled":[29],"tableau":[30],"calculus":[31],"for":[32],"logic,":[34],"and":[35],"show":[36],"that":[37,57],"it":[38,55],"decides":[39],"satisfiability":[40],"formulas":[42],"in":[43],"deterministic":[44],"polynomial":[45],"space.":[46],"Since":[47],"problem":[49],"is":[50,61],"known":[51],"be":[53],"PSPACE-complete,":[54],"follows":[56],"our":[58],"proof":[59],"method":[60],"optimal.":[62]},"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":"2026-06-16T07:32:37.131356","created_date":"2025-10-10T00:00:00"}