Pages that link to "Item:Q2464936"
From MaRDI portal
The following pages link to Modular construction of complete coalgebraic logics (Q2464936):
Displaying 19 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Modularity in coalgebra (Q2863891) (← links)
- Modular games for coalgebraic fixed point logics (Q2873663) (← links)
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems (Q2873666) (← links)
- Completeness for the coalgebraic cover modality (Q2904618) (← links)
- Generic infinite traces and path-based coalgebraic temporal logics (Q2919451) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- (Q3086937) (← links)
- Constructing Fully Complete Models of Multiplicative Linear Logic (Q3196336) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5155688) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)