philosophical papers in formal logical notation

Has there ever been a philosophical paper written all in formal logical notation?

Principia mathematica has huge passages in pure logical notation.