Toegankelijkheidsrelatie: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
voorbeeld verplaatst naar Kripkemodel, uitbreiding over frame-eigenschappen
Maurits (overleg | bijdragen)
k +synoniem
Regel 1:
In de [[filosofie]] en [[logica]] is een '''toegankelijkheidsrelatie''' of '''bereikbaarheidsrelatie''' een [[Relatie (wiskunde)|binaire relatie]] tussen [[mogelijke wereld]]en. De relatie duidt aan elke werelden toegankelijk zijn vanuit een bepaalde wereld en de [[Verzameling (wiskunde)|verzameling]] werelden die toegankelijk is kan per wereld verschillen. Toegankelijkheidsrelaties worden gebruikt in [[modale logica]] (en logica's die daarop gebaseerd zijn).
 
==Modale logica==