Modallogik
Mo|dal|lo|gik 〈f. ; Gen.: -; Pl.: unz. 〉 Zweig der formalen Logik, in dem der logische Wert einer Aussage untersucht wird, die mit Modalitäten, z. B. möglich, notwendig, zufällig, gebildet wurde; Syn. Modalitätenlogik