Modallogik/Folgerungsbeziehung/Definition/Begriff