Pages that link to "Item:Q638475"
From MaRDI portal
The following pages link to Completeness for flat modal fixpoint logics (Q638475):
Displaying 5 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
