Mümkün Dünyalar ile Gerçek Dünya

Özet

Mümkün dünyalar mantıksal olasılıklar İLE gerçek dünya fiili durumdur. Kripke semantiği mümkün dünyalar çerçevesinde İLE modal mantık ifadelerini değerlendirir. Zorunluluk tüm mümkün dünyalarda doğruluk.