KnowraModal logicLinked fromLinked fromThe 20 pages that link to Modal logic, each with the reason it gives.All 20Broader topic 4Related 4Narrower topic 4Compared with 8First-order logicCompared with: Its modal operators add claims about possibility and necessity, not just object-level quantification.Propositional logicCompared with: Its modal operators express distinctions that truth-functional connectives cannot capture.Classical logicCompared with: Its modal operators extend, rather than merely replace, classical reasoning.Logical connectiveCompared with: Modal operators add structure beyond ordinary truth-functional connectives.QuantifierCompared with: Its operators express modes of truth, not how many objects satisfy a predicate.Second-order logicCompared with: It enriches first-order language along a different dimension than second-order quantification.Relevant logicCompared with: Modal logic expands what can be expressed, whereas relevant logic chiefly restricts implication and consequence.Lindström's theoremCompared with: Its expressive comparisons with first-order logic depend on translation and the properties retained.