Pages that link to "Item:Q3584953"
From MaRDI portal
The following pages link to Flat Coalgebraic Fixed Point Logics (Q3584953):
Displaying 17 items.
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Completeness for the coalgebraic cover modality (Q2904618) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- Flat Coalgebraic Fixed Point Logics (Q3584953) (← links)
- (Q4608726) (redirect page) (← links)
- Flat modal fixpoint logics with the converse modality (Q4612435) (← links)
- Some Sahlqvist Completeness Results for Coalgebraic Logics (Q4910420) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5155678) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- (Q5875397) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)