The following pages link to (Q3343964):
Displaying 5 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Modal Expressivity and Definability over Sets (Q3655242) (← links)
- Some Results and Problems in The Modal Set Theory MST (Q3800007) (← links)
- Modal deduction in second-order logic and set theory - I (Q4340421) (← links)
- (Q5240594) (← links)