Checklist 1. For all authors (a)
–Neural Information Processing Systems
We first provide the necessary background on modal logic, which will inform the proofs in this appendix (Appendix D.1.1).
Neural Information Processing Systems
Nov-13-2025, 11:11:08 GMT