In 2007 (with more work done later), J. Hamkins and B. Löwe found that the ZFC provably valid principles of forcing are the assertions of S4.2. In the introduction, they mention field extension as a sort of algebraic analog of forcing. This got me thinking (perhaps naively)...Is there a similar connection to the theory of fields?
Say we read $\Box \varphi$ as "$\varphi$ holds in every field extension," and we define the provably valid principles of field extensions to be the modal sentences $\psi(p_1, \cdots, p_n)$ such that, for any substitution $\psi(\varphi_1, \cdots, \varphi_n)$ of the letters $p_j$ for first-order formulas in the language of fields, $\psi(\varphi_1, \cdots, \varphi_n)$ holds in every field. What can we say about the provably valid principles of field extensions? Similar question: What if we only care about the valid principles of finite field extensions of $\mathbb Q$ (number fields)? What about in other classes of fields?
In either case, the property "is a field extension of" is transitive and reflexive, so the modal rules $\Box p \to p$ and $\Box p \to \Box\Box p$ both hold. Necessitation holds rather trivially, and rule $K$ holds because if $\varphi_1 \to \varphi_2$ holds in every field and $\varphi$ hold in every field, so should $\varphi_2$. Also, as pointed out in the comments, $\Diamond \Box p \to \Box \Diamond p$ is a valid principle of field extensions as well, since fields have the amalgamation property. (Of course, one could replace "field" with "number field" in this paragraph.)
Here are the links to the papers:
Here is a related discussion