... pretty muscular (Quinean) account of logical truth with quantification alone, but ... combinatorialist semantics aimed solely at logical consequence. Carnap's modal system ... '◇~p' a theorem for that reason, but that obviously has disastrous ...