Pages that link to "Item:Q671986"
From MaRDI portal
The following pages link to Duality and the completeness of the modal \(\mu\)-calculus (Q671986):
Displaying 7 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Topologies, Continuity and Bisimulations (Q4943548) (← links)
- (Q5015268) (← links)
