Pages that link to "Item:Q2946571"
From MaRDI portal
The following pages link to PSPACE bounds for rank-1 modal logics (Q2946571):
Displayed 14 items.
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Cut Elimination for Shallow Modal Logics (Q3010370) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)