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.

modal logic · Vinony

EntityQ210841· pop 40· linked from 394 articles

modal logic

Sign in to save

formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.

Connections

first-order logic

propositional calculus

De Morgan's laws

many-valued logic

Clarence Irving Lewis

epistemic modal logic

three-state logic

subjunctive possibility

method of analytic tableaux

closure operator

Strict conditional

Categories

Logic Mathematical logic Modal logic Philosophical logic Semantics

Sources

wikipedia.externallinksexternallink

Similar entities

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

Entitydist 0.46

higher-order logic

Entitydist 0.48

Entitydist 0.50

Entitydist 0.50

Entitydist 0.52

Entitydist 0.52

semantic theory of truth

Entitydist 0.55

paradoxes of material implication

Entitydist 0.56

Entitydist 0.56

declarative programming

Entitydist 0.56

Entitydist 0.57

descriptive complexity theory

Entitydist 0.57

What links here394 pages

Alan Ross Anderson

philosophical logic

category of being

Outline of philosophy

Fitch's paradox of knowability

Lindenbaum–Tarski algebra

material implication

linear temporal logic

description logic

Clarence Irving Lewis

Jaakko Hintikka

rule of inference

analytic philosophy

outline of artificial intelligence

higher category theory