The paper builds a bridge between two areas of mathematical logic: modal logic (the study of statements involving "necessarily" and "possibly") and forcing (a technique set theorists use to build new mathematical universes and prove independence results). The authors take a complete Boolean algebra, which is the algebraic backbone used in forcing constructions, and treat each nonzero element as a kind of "local perspective" or "possible world." Two perspectives are considered accessible to each other when they are mutually consistent, meaning they can both belong to the same coherent picture of mathematical truth. This gives a precise mathematical meaning to "possibly p is true" from the standpoint of any given perspective: there exists some fully coherent extension of that perspective in which p actually holds.
The central insight is that this notion of "possibly" lines up neatly with the forcing construction itself. Saying that a set-theoretic statement is "possibly true" from a given perspective turns out to be equivalent to saying that the statement holds in some classical model of set theory obtained by collapsing the Boolean algebra through an ultrafilter containing that perspective. This connects the abstract modal operators directly to the standard machinery set theorists already use when they force new axioms into existence. The authors then systematically work out which modal principles are always valid under this interpretation, and which ones depend on the specific algebraic structure chosen.
The main technical achievement is a soundness and completeness theorem. The authors show that a well-known modal logic called KTB, which captures the idea that truth implies possibility and that possibility is symmetric in a certain sense, is exactly the right logic for this setting. Specifically, KTB describes precisely the modal formulas that are valid across all Boolean algebras under the co-consistency interpretation. This gives a clean logical characterization of what can be said about "possible set-theoretic truths" in forcing constructions, opening a new way to study the landscape of possible mathematical universes through the lens of modal reasoning.