arXiv:2204.12409 (cs) [Submitted on 26 Apr 2022 (v1), last revised 1 Nov 2024 (this version, v4)] View PDF Comments: Subjects: Logic in Computer Science (cs.LO) Cite as: arXiv:2204.12409 [cs.LO] (or arXiv:2204.12409v4 [cs.LO] for this version) https://doi.org/10.48550/arXiv.2204.12409 Submission history From: Anca Muscholl [ view email] [v1] Tue, 26 Apr 2022 16:07:56 UTC (92 KB) [v2] Mon, 16 Jan 2023 09:40:13 UTC (732 KB) [v3] Mon, 13 Feb 2023 11:13:37 UTC (756 KB) [v4] Fri, 1 Nov 2024...