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.

Kripke semantics · Vinony

Kripke semantics

EntityQ2462350· pop 11· linked from 94 articles

Kripke semantics

Sign in to save

semantics for modal logics

Wikidata facts

Named after: Saul Kripke

Show 1 more fact

P2579: mathematical logic

via Wikidata · CC0

Connections

partially ordered set

Clarence Irving Lewis

Categories

Mathematical logic Modal logic Model theory Non-classical logic Philosophical logic Sheaf theory

Sources

wikipedia.externallinksexternallink
Wikidata (CC0)wikidata-claims
Pixabayimage-pixabay

epistemic modal logic

Entity

state transition system

International Standard Book Number

computer program

International Standard Serial Number

University of Edinburgh

equivalence relation

surjective function

logical operator

monotonic function

Similar entities

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

intension and extension

Entitydist 0.53

Entitydist 0.53

programming language semantics

Entitydist 0.55

Entitydist 0.55

short-circuit evaluation

Entitydist 0.57

Entitydist 0.57

fundamental ontology

Entitydist 0.60

Hilbert's axioms

Entitydist 0.60

Entitydist 0.60

Entitydist 0.61

koiné language

Entitydist 0.63

Entitydist 0.63

What links here94 pages

accessibility relation

intermediate logic

intuitionistic logic

epistemic modal logic

Evert Willem Beth

logical negation

provability logic

normal modal logic

Kripke structure

method of analytic tableaux

Willard Van Orman Quine

complete theory

mathematical logic

history of logic

combinatory logic

Gödel's completeness theorem