Pages that link to "Item:Q5899087"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899087):
Displaying 13 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- Strongly Complete Logics for Coalgebras (Q2914235) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- Minimisation in logical form (Q6612779) (← links)
