Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

accessibility relation · Vinony

EntityQ2663311· pop 5· linked from 21 articles

accessibility relation

Sign in to save

modal logic relationship

Connections

Kripke semantics

computer science

International Standard Book Number

digital object identifier

natural language

linguistic modality

epistemic modal logic

propositional attitude

Kripke structure

relation (mathematics)

Categories

Binary relations Possible world

Sources

wikipedia.externallinksexternallink

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