The following pages link to (Q3085167):
Displayed 7 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Refinement modal logic (Q476194) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Complementation of Coalgebra Automata (Q2888479) (← links)