Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

accessibility relation · Vinony

🌐English

English Español Italiano Nederlands Português Русский 中文日本語

EntityQ2663311· pop 5· linked from 21 articles

accessibility relation

modal logic relationship

Available in 5 languages

中文
Português
Italiano
Nederlands

via Wikidata sitelinks · CC0

Connections

Kripke semantics

Categories

Binary relations Possible world

Sources

wikipedia.externallinksexternallink

computer science

Entity

International Standard Book Number

digital object identifier

natural language

linguistic modality

epistemic modal logic

propositional attitude

Kripke structure

relation (mathematics)

Sign in to save

What links here21 pages

Gödel's ontological proof

method of analytic tableaux

Kripke semantics

ontological argument

linguistic modality

propositional attitude

counterfactual conditional

philosophical zombie

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.47

normal modal logic

Entitydist 0.50

Lindenbaum–Tarski algebra

Entitydist 0.60

Entitydist 0.61

Heyting algebra

Entitydist 0.65

many-valued logic

Entitydist 0.67

Entitydist 0.67

propositional function

Entitydist 0.68

functional completeness

Entitydist 0.69

Entitydist 0.69

propositional variable

Entitydist 0.70

invisible disability

Entitydist 0.70