לוגיקה מודלית – הבדלי גרסאות

כך, למשל, במערכת המודלית K, שהיא המערכת המודלית הבסיסית ביותר, הנגישות בין העולמות היא אקראית. במערכת המודלית T, לעומת זאת, הנגישות היא '''רפלקסיבית''', כלומר, כל עולם נגיש גם לעצמו. במערכת המודלית B הנגישות היא רפלקסיבית ו'''סימטרית''' (אם עולם n נגיש לעולם m גם עולם m נגיש לעולם n). במערכת המודלית S4 הנגישות היא רפלקסיבית ו'''טרנזיטיבית''' (אם עולם n נגיש לעולם m ועולם m נגיש לעולם k, גם עולם n נגיש לעולם k), ובמערכתוב[[הנחה S5|מערכת S5]], שהיא המערכת המודלית הפשוטה ביותר, הנגישות היא '''אוניברסלית''' (כל עולם נגיש לכל עולם).