Pages that link to "Item:Q2506827"
From MaRDI portal
The following pages link to On modal \(\mu\)-calculus with explicit interpolants (Q2506827):
Displaying 8 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)
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- $$\mu $$ μ -Levels of Interpolation (Q5214736) (← links)
