Pages that link to "Item:Q5278393"
From MaRDI portal
The following pages link to Completeness for coalgebraic fixpoint logic (Q5278393):
Displayed 5 items.
- 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)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- (Q4603451) (← links)