Rigorous Reasoning

Concept · Foundations

Accessibility Relation

A relation between possible worlds that says which worlds count as 'available' from a given world when evaluating modal operators.

Why it matters

Different accessibility relations yield different modal systems and determine which modal axioms are valid in a given setting.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Foundations

A, E, I, O PropositionsArgumentAtomic StatementAuthorial IntentBase RateBayes FactorBurden of Proof in InterpretationCalibrationCardinalityCartesian ProductCategorical PropositionCategorical Syllogism