{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T12:47:11Z","timestamp":1775825231373,"version":"3.50.1"},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T00:00:00Z","timestamp":1722384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"APART-MINT Fellowship of the Austrian Academy of Sciences and by FWO","award":["3E017319"],"award-info":[{"award-number":["3E017319"]}]},{"name":"FWF","award":["I4513-N"],"award-info":[{"award-number":["I4513-N"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2024,7,31]]},"abstract":"<jats:p>It is shown that Holliday\u2019s propositional Fundamental Logic is decidable in polynomial time and that first-order Fundamental Logic is decidable in double-exponential time. The proof also yields a double-exponential\u2013time decision procedure for first-order orthologic.<\/jats:p>","DOI":"10.1145\/3665328","type":"journal-article","created":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T18:36:15Z","timestamp":1718649375000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Fundamental Logic Is Decidable"],"prefix":"10.1145","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2768-6714","authenticated-orcid":false,"given":"Juan","family":"Aguilera","sequence":"first","affiliation":[{"name":"Technical University of Vienna, Vienna, Austria, University of Vienna, Austria, and Ghent University, Ghent, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2240-0147","authenticated-orcid":false,"given":"Jan","family":"Byd\u017eovsk\u00fd","sequence":"additional","affiliation":[{"name":"Technical University of Vienna, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,31]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2021.103078"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2019.11"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022993408070"},{"key":"e_1_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.3390\/logics1010004"},{"key":"e_1_3_3_6_2","first-page":"1","article-title":"The Orthologic of Epistemic Models","author":"Holliday W. H.","year":"2024","unstructured":"W. H. Holliday and M. Mandelkern. 2024. The Orthologic of Epistemic Models. J. Philos. Logic (2024), 1\u201377.","journal-title":"J. Philos. Logic"},{"key":"e_1_3_3_7_2","volume-title":"Proof Theory","author":"Takeuti G.","year":"2013","unstructured":"G. Takeuti. 2013. Proof Theory. Courier Corporation."},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-018-9828-2"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3665328","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3665328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:19Z","timestamp":1750291399000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3665328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,31]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,7,31]]}},"alternative-id":["10.1145\/3665328"],"URL":"https:\/\/doi.org\/10.1145\/3665328","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,31]]},"assertion":[{"value":"2023-01-31","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-11-01","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}