Pages that link to "Item:Q1407541"
From MaRDI portal
The following pages link to Finality regained: A coalgebraic study of Scott-sets and multisets (Q1407541):
Displayed 12 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- A Tractarian universe (Q452345) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A single-sorted theory of multisets (Q740200) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Logics of Belief over Weighted Structures (Q3094008) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)