Toegankelijkheidsrelatie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
voorbeeld verplaatst naar Kripkemodel, uitbreiding over frame-eigenschappen |
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==
|