Research any topic before you write.

Find related topics. | Discover entities. | See connections. | Build a topical map.

Conditional logic

Conditional logic (also: the logic of conditionals) refers to a family of formal systems for reasoning with statements of the form "if A, (then) B". Conditional logics are intended to capture the meaning and patterns of inference associated with natural language conditionals more faithfully than the classical material conditional, which gives rise to…

History, Overview & Semantics

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Research this topic

Explore the main themes, entities and connections around Conditional logic. Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Overview

History

Semantics

Axiom systems

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Conditional logic

Nodes35
Edges34
Triples181
Avg. degree1.94
Density0.057143
Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

Conditional logic

Top relations

related to Further reading · 57
Conditional logic → Adams, Basic Conditional Logic, Belief, Bennett, BF00693270, Blackwell, Boston, Brian, Chance, Chellas, Conditionals, Counterfactuals, David, Decision, Donald, Dordrecht, Dorothy, Dov, Edgington, England
related to Basic normal systems: Ck and CK · 19
Conditional logic → AND, CEM, Chellas's, Ck, CMon, CS, Equivalently, ID, In CK, It, LLE, LT, MP, OR, RCK, Rec, RMon, RW, SM
related to history · 17
Conditional logic → Although, Antecedent, Classical, Conditionals, Drawing, Early, Lewis's, Ramsey, Ramsey's, Robert Stalnaker's, Stalnaker, Strengthening, Theory, These, This, Transitivity, While
related to Relation to nonmonotonic reasoning and AI · 11
Conditional logic → AI, Burgess's, Conditional, From, Kraus, Lehmann, Lewis's, Magidor, Preferential, The, Their
related to overview · 8
Conditional logic → Conditional, In, Lewis, Prominent, Ramsey, Rather, Stalnaker, They
related to Logical principles and their failure · 7
Conditional logic → Adams, Classical, Early, Lewis, Modern, Stalnaker, They
related to Notation · 6
Conditional logic → David Lewis's, History, Robert Stalnaker's, Some, The, This
related to Nonmonotonic and preferential models · 5
Conditional logic → C/P/R, In AI, Kraus, Lehmann, Magidor's
related to Selection function axiomatizations (Lewis–Nute tradition) · 5
Conditional logic → An, In, Lewis, MP, Nute
related to Axiom systems · 3
Conditional logic → Hilbert, Many, This

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

conditional logics conditionals logic systems displaystyle semantics reasoning system worlds selection lewis ck nonmonotonic mathbin principles possible vdash antecedent many

Entity relationships Subject–Predicate–Object triples

SubjectPredicateObjectConfidenceSrc
modus ponensinstance ofThese systems are designed to validate basic principles0.80text
while restricting or invalidating classical schemas like strengthening the antecedentinstance ofThese systems are designed to validate basic principles0.80text
transitivityinstance ofThese systems are designed to validate basic principles0.80text
and contrapositioninstance ofThese systems are designed to validate basic principles0.80text
which are not always correct for ordinaryinstance ofThese systems are designed to validate basic principles0.80text
Burgess's Binstance ofCorresponding proof-theoretic systems range from Chellas's basic logics Ck and CK to stronger systems0.80text
Lewis's Vinstance ofCorresponding proof-theoretic systems range from Chellas's basic logics Ck and CK to stronger systems0.80text
VWinstance ofCorresponding proof-theoretic systems range from Chellas's basic logics Ck and CK to stronger systems0.80text
VCinstance ofCorresponding proof-theoretic systems range from Chellas's basic logics Ck and CK to stronger systems0.80text
or Stalnaker's C2instance ofCorresponding proof-theoretic systems range from Chellas's basic logics Ck and CK to stronger systems0.80text
which validate different structural principles for the conditional connectiveinstance ofCorresponding proof-theoretic systems range from Chellas's basic logics Ck and CK to stronger systems0.80text
are often related by soundnessinstance ofCorresponding proof-theoretic systems range from Chellas's basic logics Ck and CK to stronger systems0.80text

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

    Connections between topic areas Semantic bridges

    Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

    Min side: 3
    For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.