This article includes a list of general references, but it lacks sufficient corresponding inline citations. (July 2020) |
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 can depend on what's true at another possible world , but only if the accessibility relation relates to . For instance, if holds at some world such that , the formula will be true at . The fact is crucial. If did not relate to , then would be false at unless also held at some other world such that .[1][2]
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/2/26/Simple_kripke_model.png)
Accessibility relations are motivated conceptually by the fact that natural language modal statements depend on some, but not all alternative scenarios. For instance, the sentence "It might be raining" is not generally judged true simply because one can imagine a scenario where it was raining. Rather, its truth depends on whether such a scenario is ruled out by available information. This fact can be formalized in modal logic by choosing an accessibility relation such that iff is compatible with the information that's available to the speaker in .
This idea can be extended to different applications of modal logic. In epistemology, one can use an epistemic notion of accessibility where for an individual iff does not know something which would rule out the hypothesis that . In deontic modal logic, one can say that iff is a morally ideal world given the moral standards of . In application of modal logic to computer science, the so-called possible worlds can be understood as representing possible states and the accessibility relation can be understood as a program. Then iff running the program can transition the computer from state to state .
Different applications of modal logic can suggest different restrictions on admissible accessibility relations, which can in turn lead to different validities. The mathematical study of how validities are tied to conditions on accessibility relations is known as modal correspondence theory.
See also
editReferences
edit- ^ Blackburn, Patrick; de Rijke, Maarten; Venema, Yde (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science. ISBN 9780521527149.
- ^ van Benthem, Johan (2010). Modal Logic for Open Minds (PDF). CSLI. S2CID 62162288. Archived from the original (PDF) on 2020-02-19.
- Gerla, G.; Transformational semantics for first order logic, Logique et Analyse, No. 117–118, pp. 69–79, 1987.
- Fitelson, Brandon; Notes on "Accessibility" and Modality, 2003.
- Brown, Curtis; Propositional Modal Logic: A Few First Steps, 2002.
- Kripke, Saul; Naming and Necessity, Oxford, 1980.
- Lewis, David K. (1968). "Counterpart Theory and Quantified Modal Logic". The Journal of Philosophy. 65 (5): 113–126. doi:10.2307/2024555. JSTOR 2024555.
- Gasquet, Olivier; et al. (2013). Kripke's Worlds: An Introduction to Modal Logics via Tableaux. Springer. pp. 14–16. ISBN 978-3764385033. Retrieved 23 July 2020.
- List of Logic Systems List of most of the more popular modal logics.