Giuseppe Primiero has published a paper on logics for design in the  Journal of Logic and Computation, exz014, https://doi.org/10.1093/logcom/exz014