Accessibility relation
id:
accessibility-relation-241-3445148
title:
Accessibility relation
text:
An accessibility relation is a relation which plays a key role in assigning truth values to sentences in the relational semantics for modal logic. In relational semantics, a modal formula's truth value at a possible world w can depend on what's true at another possible world v , but only if the accessibility relation R relates w to v . For instance, if P holds at some world v such that w R v , the formula ◊ P will be true at w . The fact w R v is crucial. If R did not relate w to v , then ◊ P wo
brand slug:
wiki
category slug:
encyclopedia
description:
Modal logic relationship
original url:
https://en.wikipedia.org/wiki/Accessibility_relation
date created:
date modified:
2023-11-06T23:03:16Z
main entity:
{"identifier":"Q2663311","url":"https://www.wikidata.org/entity/Q2663311"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/2/26/Simple_kripke_model.png","width":276,"height":206}
fields total:
13
integrity:
15