Modal status of propositions depends on the logical framework adopted, and S5 modal logic—which lice...