New answers tagged modal-logic
I just noticed this question. There are certain affinities between the modal logic of forcing and temporal logic, particularly when one has the upward modality expressing that something is true in some forcing extension (like the future), but also the dual modality for when something is true in some ground model (like the past). In joint work, Benedikt Loewe ...
Top 50 recent answers are included