Cluster expansion and the boxdot conjecture

Emil Jeřábek

The boxdot conjecture asserts that every normal modal logic that faithfully interprets T by the well-known boxdot translation is in fact included in T. We confirm that the conjectu…