Pages that link to "Item:Q2643335"
From MaRDI portal
The following pages link to A finite model construction for coalgebraic modal logic (Q2643335):
Displaying 14 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- 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)
- Admissibility of Cut in Coalgebraic Logics (Q2873670) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- (Q5014445) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
