jdh.hamkins.org
Structural connections between a forcing class and its modal logic
[bibtex key=HamkinsLeibmanLoewe2015:StructuralConnectionsForcingClassAndItsModalLogic]