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):
Displaying 17 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)
- Towards the critical problem: On the coalgebraic relation between sets and multisets (Q685583) (← 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)
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces (Q4236207) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- (Q5875397) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)