Pages that link to "Item:Q1577354"
From MaRDI portal
The following pages link to Characterizations of negative definability in modal logic (Q1577354):
Displayed 15 items.
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Semantics for knowledge and change of awareness (Q2258808) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- On modal \(\mu\)-calculus with explicit interpolants (Q2506827) (← links)
- The Complexity of One-Agent Refinement Modal Logic (Q2915064) (← links)
- On Characterization, Definability and ω-Saturated Models (Q3105745) (← links)
- Tracking Information (Q3305434) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Continuous Fragment of the mu-Calculus (Q3540176) (← links)
- (Q4603451) (← links)
- Topologies, Continuity and Bisimulations (Q4943548) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)