Aunque el cuadro y el rombo son las representaciones más comunes de los operadores modales fuertes y débiles en la lógica modal, también se utilizan "L" y "M". Sospecho que se eligieron esas letras porque cada una se refiere a palabras en inglés o alemán, pero no puedo encontrar ninguna referencia que mencione cuáles.
Del lógico y filósofo polaco Jan Łukasiewicz, quien inventó la notación polaca para la lógica (llamada así por su nacionalidad):
M ϕ para możliwość : posibilidad
L ϕ para konieczność : necesidad [lamentablemente: K ya se usaba para koniunkcja : conjunción].
Para M , véase Jan Lukasiewicz, Obras seleccionadas , North-Holland (1970), Observaciones filosóficas sobre sistemas multivaluados de lógica proposicional (edición polaca, 1920), página 154:
es posible que p , en símbolos Mp , [donde] " M " corresponda a las palabras "es posible que".
Łukasiewicz usó " L " para "es necesario que" en: Aristóteles silogística desde el punto de vista de la lógica formal moderna (1ª ed., 1951).
Pero un uso anterior está en Robert Feys, Les systèmes formalisés des modalités aristotéliciennes , Revue Philosophique de Louvain , Volumen 48 (1950).
Efervescencia