Abstract

A sound and complete axiomatization of two philosophy tabloids is given, Leiter Logic (KB) and Deontic Leiter Logic (KDB), in single agent format, the latter of which can be extended to Shame Game Logic for multiple players. The (B) schema captures the mechanism of tabloid inference, illustrating the perils of interpreting a provability operator as an epistemic modal. To mark this hazard, and to preserve Brouwer's good name, the (B) schema interpreted to govern epistemic modals should be called The Blog Schema.