A modal logic with n primitive unary modal operators ◻ i , i ∈ { 1 , … , n } {\displaystyle \Box _{i},i\in \{1,\ldots ,n\}} is called an n-modal logic.
O logică modală cu n operatori modali unari primitivi ◻ i , i ∈ { 1 , … , n } {\displaystyle \Box _{i},i\in \{1,\ldots ,n\}} se numește n-logică modală.