One Useful Logic That Defines Its Own Truth.

Andreas Blass, Yuri Gurevich

Browse the full MFCS paper archive.