Pages that link to "Item:Q638475"
From MaRDI portal
The following pages link to Completeness for flat modal fixpoint logics (Q638475):
Displaying 13 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)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- (Q5015268) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5101351) (← links)
- (Q5129949) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)