Modallogik

Modal|logik, wichtiges Teilgebiet der philosophischen Logik, das sich mit Aussagen beschäftigt, die mit den Modalitäten »möglich« und »notwendig« gebildet sind. Die Modallogik wird heute als eine Erweiterung der klassischen Aussagen- beziehungsweise Prädikatenlogik durch Hinzunahme der beiden einstelligen Modaloperatoren L und M behandelt. Statt L, M schreibt man oft auch