The following pages link to (Q4525272):
Displaying 12 items.
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Duality between modal algebras and neighbourhood frames (Q1825863) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← 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)
- (Q3002404) (← links)
- (Q3691640) (← links)
- On the expressivity of the modal mu-calculus (Q4593954) (← links)
- (Q5144635) (← links)