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.

provability logic · Vinony

EntityQ260168· pop 7· linked from 33 articles

provability logic

Sign in to save

modal logic

Connections

propositional calculus

Stanford Encyclopedia of Philosophy

well-founded relation

Robert M. Solovay

Kripke semantics

normal modal logic

Israel Journal of Mathematics

Categories

Modal logic Proof theory Provability logic

Sources

wikipedia.externallinksexternallink

What links here33 pages

Robert M. Solovay

normal modal logic

history of logic

Kripke semantics

Gödel's incompleteness theorems

Similar entities

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

constructive dilemma

Entitydist 0.45

law of noncontradiction

Entitydist 0.48

Lindström's theorem

Entitydist 0.63

The Logic of Sense

Entitydist 0.65

Entitydist 0.68

Buddhist logico-epistemology

Entitydist 0.69

Entitydist 0.69

Entitydist 0.72

Entitydist 0.72

multiplication theorem

Entitydist 0.73

Appeal to the law

Entitydist 0.73

de Finetti's theorem

Entitydist 0.73