Is modal logic the logic of necessity, possibility, and impossibility alone, or the logic of truth, falsity, necessity, possibility, and impossibility?
In other words, is modal logic concerned with modal statements only, or concerned with both modal statements and truth-functional statements?
See What is Modal Logic?:
Usually, modal propositional logic is built "on top" of classical (i.e. truth-functional) propositional logic.
See e.g. George Boolos & John Burgess & Richard Jeffrey, Computability and Logic (4th ed - 2002): 27.1 Modal Logic, page 327-on: