Pages that link to "Item:Q2643335"
From MaRDI portal
The following pages link to A finite model construction for coalgebraic modal logic (Q2643335):
Displaying 21 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- 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)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Admissibility of cut in coalgebraic logics (Q2873670) (← links)
- On modal logics of linear inequalities (Q2904057) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- A new coalgebraic Lindström theorem (Q2957957) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- Rank-1 Modal Logics are Coalgebraic (Q3056300) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- (Q5014445) (← links)
- (Q5094147) (← 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)
