Pages that link to "Item:Q2464936"
From MaRDI portal
The following pages link to Modular construction of complete coalgebraic logics (Q2464936):
Displaying 13 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 logics \& duality (Q1798781) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Modular Games for Coalgebraic Fixed Point Logics (Q2873663) (← links)
- Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems (Q2873666) (← links)
- Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
