{"id":"https://openalex.org/W4417040432","doi":"https://doi.org/10.46298/lmcs-21(4:26)2025","title":"Data-Aware Hybrid Tableaux","display_name":"Data-Aware Hybrid Tableaux","publication_year":2025,"publication_date":"2025-12-05","ids":{"openalex":"https://openalex.org/W4417040432","doi":"https://doi.org/10.46298/lmcs-21(4:26)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(4:26)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:26)2025","pdf_url":"https://lmcs.episciences.org/17043/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/17043/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022706489","display_name":"Carlos Areces","orcid":"https://orcid.org/0000-0001-7845-8503"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Carlos Areces","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079953212","display_name":"Valent\u00edn Cassano","orcid":"https://orcid.org/0000-0001-5904-3038"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Valentin Cassano","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5078884064","display_name":"Raul Fervari","orcid":"https://orcid.org/0000-0003-0360-0725"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raul Fervari","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5022706489"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19878013,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 21, Issue 4","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6414999961853027,"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.6414999961853027,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.17790000140666962,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.04490000009536743,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/satisfiability","display_name":"Satisfiability","score":0.7811999917030334},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.6317999958992004},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5622000098228455},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.511900007724762},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5034999847412109},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.45899999141693115},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.44029998779296875},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.42500001192092896},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.4205999970436096},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.41589999198913574}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7811999917030334},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6728000044822693},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.6317999958992004},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5622000098228455},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5498999953269958},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.511900007724762},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5034999847412109},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.45899999141693115},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.44029998779296875},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.42500001192092896},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.4205999970436096},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.41589999198913574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40619999170303345},{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.38040000200271606},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36309999227523804},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.3628000020980835},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.34869998693466187},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.33799999952316284},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.33469998836517334},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.334199994802475},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.32519999146461487},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3237999975681305},{"id":"https://openalex.org/C2333172","wikidata":"https://www.wikidata.org/wiki/Q1425985","display_name":"Preorder","level":2,"score":0.29989999532699585},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.29499998688697815},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2838999927043915},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.28139999508857727},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.26589998602867126},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.26269999146461487},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.25459998846054077},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.46298/lmcs-21(4:26)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:26)2025","pdf_url":"https://lmcs.episciences.org/17043/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(4:26)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:26)2025","pdf_url":"https://lmcs.episciences.org/17043/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2202663296","display_name":null,"funder_award_id":"PIBAA","funder_id":"https://openalex.org/F4320321594","funder_display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas"},{"id":"https://openalex.org/G5166406809","display_name":null,"funder_award_id":"00165","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"},{"id":"https://openalex.org/G6681009318","display_name":null,"funder_award_id":"PICT-2020-3780","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"},{"id":"https://openalex.org/G7344047042","display_name":null,"funder_award_id":"02101","funder_id":"https://openalex.org/F4320321594","funder_display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas"},{"id":"https://openalex.org/G7378882120","display_name":null,"funder_award_id":"CONICET","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"},{"id":"https://openalex.org/G8603467370","display_name":null,"funder_award_id":"PICT-","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"}],"funders":[{"id":"https://openalex.org/F4320321594","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59"},{"id":"https://openalex.org/F4320334832","display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","ror":"https://ror.org/03stxzb56"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4417040432.pdf","grobid_xml":"https://content.openalex.org/works/W4417040432.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Labelled":[0],"tableaux":[1,147,179],"have":[2,93,106],"been":[3,40,107],"a":[4],"traditional":[5],"approach":[6],"to":[7,23,30,60,64,208],"define":[8,145],"satisfiability":[9,55,160,190],"checking":[10],"procedures":[11,67,74],"for":[12,68,129,138,148,192],"Modal":[13,115],"Logics.":[14],"In":[15],"many":[16],"cases,":[17],"they":[18,78],"can":[19,57,180],"also":[20],"be":[21,58,181],"used":[22,59],"obtain":[24],"tight":[25],"complexity":[26],"bounds":[27],"and":[28,54,92,96,154,158,173,212],"lead":[29],"efficient":[31],"implementations":[32],"of":[33,87,133,202],"reasoning":[34],"tools.":[35],"More":[36,142],"recently,":[37],"it":[38],"has":[39],"shown":[41],"that":[42,117,167,178,188],"the":[43,48,85,88,134,159,168,189,193,203],"expressive":[44,70],"power":[45],"provided":[46],"by":[47],"operators":[49,153],"characterizing":[50],"Hybrid":[51,104,163],"Logics":[52,116],"(nominals":[53],"modalities)":[56],"internalize":[61],"labels,":[62],"leading":[63],"well-behaved":[65],"inference":[66],"fairly":[69],"logics.":[71],"The":[72],"resulting":[73],"are":[75],"attractive":[76],"because":[77],"do":[79],"not":[80],"use":[81],"external":[82],"mechanisms":[83],"outside":[84],"language":[86],"logic":[89,194],"at":[90],"hand,":[91],"good":[94],"logical":[95],"computational":[97],"properties.":[98],"Many":[99],"tableau":[100,127],"systems":[101],"based":[102],"on":[103,114],"Logic":[105],"investigated,":[108],"with":[109,156],"more":[110],"recent":[111],"efforts":[112],"concentrating":[113],"support":[118],"data":[119,151,210],"comparison":[120,152],"operators.":[121],"Here,":[122],"we":[123,144,176,198],"introduce":[124],"an":[125],"internalized":[126],"calculus":[128,169],"XPath,":[130],"arguably":[131],"one":[132],"most":[135],"prominent":[136],"approaches":[137],"querying":[139],"semistructured":[140],"data.":[141],"precisely,":[143],"data-aware":[146],"XPath":[149],"featuring":[150],"enriched":[155],"nominals":[157],"modalities":[161],"from":[162],"Logic.":[164],"We":[165],"prove":[166],"is":[170,195],"sound,":[171],"complete":[172],"terminating.":[174],"Moreover,":[175],"show":[177],"explored":[182],"in":[183,205],"polynomial":[184],"space,":[185],"therefore":[186],"establishing":[187],"problem":[191],"PSpace-complete.":[196],"Finally,":[197],"explore":[199],"different":[200],"extensions":[201],"calculus,":[204],"particular":[206],"how":[207],"handle":[209],"trees":[211],"other":[213],"frame":[214],"classes.":[215]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-12-05T00:00:00"}