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.

provability logic · Vinony

🌐English

English Deutsch Español Français Italiano 日本語

EntityQ260168· pop 7· linked from 33 articles

provability logic

modal logic

Available in 7 languages

Español
Français
Deutsch
日本語
Italiano
Hungarian

via Wikidata sitelinks · CC0

Connections

Categories

Modal logic Proof theory Provability logic

Sources

wikipedia.externallinksexternallink

propositional calculus

Entity

Stanford Encyclopedia of Philosophy

well-founded relation

Robert M. Solovay

Kripke semantics

normal modal logic

Israel Journal of Mathematics

Sign in to save

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