{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T03:00:53Z","timestamp":1771902053120,"version":"3.50.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:p>We investigate intuitionistic logics extended both with the co-implication connective of Hilbert-Brouwer logic and with diamond and box modalities. We use a Kripke semantics based on frames with two 'forth' confluence conditions on the modal relation with respect to the intuitionistic relation. We give sound and strongly complete axiomatisations for entailment on this class of frames, and give similar axiomatisations for the subclasses of frames satisfying any combination of reflexivity, transitivity, and seriality. We then prove that all of these logics are decidable, by proving that they have the finite frame property.<\/jats:p>","DOI":"10.24963\/kr.2023\/26","type":"proceedings-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T22:27:47Z","timestamp":1690842467000},"page":"262-271","source":"Crossref","is-referenced-by-count":0,"title":["A Family of Decidable Bi-intuitionistic Modal Logics"],"prefix":"10.24963","author":[{"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"first","affiliation":[{"name":"University of Barcelona"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brett","family":"McLean","sequence":"additional","affiliation":[{"name":"Ghent University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Zenger","sequence":"additional","affiliation":[{"name":"University of Bern"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","theme":"Artificial Intelligence","location":"Rhodes, Greece","acronym":"KR-2023","number":"20","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2023,9,2]]},"end":{"date-parts":[[2023,9,8]]}},"container-title":["Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T22:28:11Z","timestamp":1690842491000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2023\/26"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2023\/26","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]}}}