so, und last but not least zur heutigen Eröffnung :

mein unbedingtes Wort des Tages > Modallogik! http://de.wikipedia.org/wiki/Modallogik

Die Wahrheit einer Formel in einer möglichen Welt w ist dann wie folgt definiert:
Aussagenvariablen sind wahr in der Welt w, wenn die Interpretationsfunktion ihnen in w den Wert „wahr“ zuweist.
ist wahr in w, wenn p falsch in w ist, sonst falsch
ist wahr in w, wenn p und q beide wahr in w sind, sonst falsch
ist wahr in w, wenn es eine von w aus zugängliche Welt v gibt und p in v wahr ist; andernfalls ist p falsch in w
ist wahr in w, wenn für alle von w aus zugänglichen Welten v gilt, dass p in v wahr ist; andernfalls ist p falsch in w

sehr spannend!!!!...