Pages that link to "Item:Q2506827"
From MaRDI portal
The following pages link to On modal \(\mu\)-calculus with explicit interpolants (Q2506827):
Displayed 5 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- $$\mu $$ μ -Levels of Interpolation (Q5214736) (← links)