The following pages link to Duality for modal \(\mu\)-logics (Q1128984):
Displaying 17 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- On the dynamic logic of agency and action (Q456961) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- A fixpoint approach to finite delay and fairness (Q1129259) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Duality between modal algebras and neighbourhood frames (Q1825863) (← links)
- Dualities for modal algebras from the point of view of triples (Q2351511) (← links)
- Leo Esakia on duality in modal and intuitionistic logics (Q2446018) (← links)
- Duality in finite many-valued logics (Q2534158) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- (Q4525272) (← links)
- (Q4542610) (← links)
- (Q5144635) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- Dual realizability in symmetric logic (Q5957923) (← links)