Prieinamumo santykis – tai techninis terminas vartojamas modalinės logikos semantikoje, norint įvardinti santykį tarp galimų pasaulių. Modalinės logikos semantikoje Kripkės rėmas – tai dvejetas, kur pirmasis narys yra galimų pasaulių aibė, o antrasis, būtent prieinamumo santykis, – tai aibė, kurios nariai yra poros galimų pasaulių. Įvedus skirtingus reikalavimus šiai aibei gauname skirtingas modalines logikas.
