The following pages link to The modal logic of inner models (Q2805035):
Displaying 6 items.
- Structural connections between a forcing class and its modal logic (Q498994) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- The Modal Logic of Equilibrium Models (Q3172888) (← links)
- (Q3784061) (← links)
- The modal logic of abelian groups (Q6111235) (← links)