toegankelijkheidsrelatie

In de filosofie en logica is een toegankelijkheidsrelatie of bereikbaarheidsrelatie een tweeplaatsige relatie tussen mogelijke werelden. De relatie duidt aan welke werelden toegankelijk zijn vanuit een bepaalde wereld en de verzameling werelden die toegankelijk is kan per wereld verschillen. Toegankelijkheidsrelaties worden gebruikt in modale logica, en logica's die daarop gebaseerd zijn.