The following pages link to Duality for modal \(\mu\)-logics (Q1128984):
Displaying 6 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- On the dynamic logic of agency and action (Q456961) (← 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)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
