{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:45:36Z","timestamp":1773193536021,"version":"3.50.1"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We consider the extension of the two-variable guarded fragment logic with\nlocal Presburger quantifiers. These are quantifiers that can express properties\nsuch as \"the number of incoming blue edges plus twice the number of outgoing\nred edges is at most three times the number of incoming green edges\" and\ncaptures various description logics with counting, but without constant\nsymbols. We show that the satisfiability problem for this logic is\nEXP-complete. While the lower bound already holds for the standard two-variable\nguarded fragment logic, the upper bound is established by a novel, yet simple\ndeterministic graph-based algorithm.<\/jats:p>","DOI":"10.46298\/lmcs-20(3:16)2024","type":"journal-article","created":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T06:45:06Z","timestamp":1724741106000},"source":"Crossref","is-referenced-by-count":1,"title":["On two-variable guarded fragment logic with expressive local Presburger constraints"],"prefix":"10.46298","volume":"Volume 20, Issue 3","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-5446-9150","authenticated-orcid":false,"given":"Chia-Hsuan","family":"Lu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8341-2004","authenticated-orcid":false,"given":"Tony","family":"Tan","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2024,8,27]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/14106\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/14106\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T06:45:06Z","timestamp":1724741106000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/9757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,27]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-20(3:16)2024","relation":{"has-preprint":[{"id-type":"arxiv","id":"2206.13731v5","asserted-by":"subject"},{"id-type":"arxiv","id":"2206.13731v4","asserted-by":"subject"},{"id-type":"arxiv","id":"2206.13731v3","asserted-by":"subject"},{"id-type":"arxiv","id":"2206.13731v2","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2206.13731","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2206.13731","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"value":"1860-5974","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,8,27]]},"article-number":"9757"}}