Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics

Published: 01 Jan 2020, Last Modified: 04 Jul 2024ACM Trans. Comput. Log. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We investigate the computational complexity of the satisfiability problem of modal inclusion logic. We distinguish two variants of the problem: one for the strict and another one for the lax semantics. Both problems turn out to be EXPTIME-complete on general structures. Finally, we show how for a specific class of structures NEXPTIME-completeness for these problems under strict semantics can be achieved.
Loading

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview