Modallogik

  1. Die Bedeutung einer Formel in der Modallogik wird durch Kripke-Strukturen festgelegt. ( Quelle: bmb+f Forschungslandkarte Deutschland 1998)