Abstrakt. Ett bestämt teoretiskt påstående är genomträngligt eller möjligt, skrivet ♦  och om det håller i viss tvingarförlängning, och nödvändigt, skriftligt, om det finns i alla tvingarförlängningar. I denna tvingande tolkning av modal logik fastställer vi att om ZFC är konsekvent, då ZFC-bevisbara principer för att tvinga är exakt de i modalteorin S4.2.
I vårt tidigare dokument REF införde vi modal logik för att tvinga och visade att ZFC-bevisbart giltiga principer för att tvinga var exakt de i modalteorin som kallas S4.2.
THE MODAL LOGIC OF FORCING
{'venue': None, 'journal': 'Transactions of the American Mathematical Society', 'mag_field_of_study': ['Mathematics', 'Computer Science', 'Geology', 'Biology']}