Complexity of the variable-free fragments of non-normal modal logics (extended version)
We show that the satisfiability problem for the variable-free fragment of every modal logic containing classical propositional logic and contained in the weak Grzegorczyk logic is NP-hard. In particular, the variable-free fragments of the non-normal modal logics E, EM, EN, and EMN are coNP-complete.
Publication Details
- Journal
- ArXiv.org
- Published
- 2025-07-12
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 0.00