Send the following on WhatsApp
Continue to ChatStructural connections between a forcing class and its modal logic https://jdh.hamkins.org/a-forcing-class-and-its-modal-logic/
Structural connections between a forcing class and its modal logic https://jdh.hamkins.org/a-forcing-class-and-its-modal-logic/