Pages that link to "Item:Q3613433"
From MaRDI portal
The following pages link to Presburger Modal Logic Is PSPACE-Complete (Q3613433):
Displayed 7 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)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)