Pages that link to "Item:Q5427258"
From MaRDI portal
The following pages link to Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic (Q5427258):
Displaying 12 items.
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Reasoning about knowledge of unawareness (Q1036579) (← links)
- Parameterized modal satisfiability (Q1759682) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism (Q2018588) (← links)
- PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation (Q2570127) (← links)
- (Q2945856) (← links)
- PSPACE bounds for rank-1 modal logics (Q2946571) (← links)
- (Q5483013) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
- Complexity results for modal logic with recursion via translations and tableaux (Q6597964) (← links)
- About the unification types of modal logics (Q6612813) (← links)