 With these tools, it is possible to define a faithful translation from truthmaker logic into modal information logic (see van Benthem 2018: Section 13 for details). This translation brings methods from modal logic to the study of truthmaking. More important is the fact that it makes truthmaker semantics, a framework that works by providing a new meaning to Boolean connectives, completely compatible with classical (modal) logic, which keeps standard definitions but extends the framework’s expressivity by studying much richer languages.