However, modal logic is normally formalized with the principle of the excluded middle, and its relational semantics is bivalent, so this inclusion is disputable.
Ωστόσο η τροπική λογική είναι συνήθως τυποποιημένη με την αρχή της αποκλεισμένης μέσης και η σχεσιακή της σημασιολογία είναι δισθενής, οπότε η ένταξη της είναι αμφισβητήσιμη.