Pages that link to "Item:Q3613433"
From MaRDI portal
The following pages link to Presburger Modal Logic Is PSPACE-Complete (Q3613433):
Displaying 10 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting (Q2211383) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Proof equivalence in MLL is PSPACE-complete (Q2790165) (← links)
- PSPACE bounds for rank-1 modal logics (Q2946571) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- (Q5483013) (← links)