Correction to: Synthese (2023) 201:48 https://doi.org/10.1007/s11229-022-04017-x

In the online publication of the original article, several instances of the symbol \(\square{\!\to}\)were incorrectly rendered. This has been corrected.