Blass, Research), 2008. One useful logic that defines its own truth.