The following pages link to (Q3939782):
Displayed 14 items.
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Results on the propositional \(\mu\)-calculus (Q801893) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Dynamic algebras with test (Q1095141) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Domain theory in logical form (Q1174593) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Peirce algebras (Q1333408) (← links)
- Towards automating duality (Q1343394) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Equational theories for automata (Q2074221) (← links)