Accessibility relationAccident (philosophy)ActualismAdmissible ruleAlethic modalityAlternating-time Temporal LogicApodicticityAssertoricAutoepistemic logicBarcan formulaClassical modal logicConceptual necessityContingency (philosophy)Deontic logicDoxastic logicDynamic epistemic logicDynamic logic (modal logic)Epistemic closureEpistemic modal logicEpistemic possibilityEssenceFiction theoryFinite model propertyFormal ethicsFrege–Church ontologyGabbay's separation theoremGeneral frameGuarded logicGödel's ontological proofHennessy–Milner logicHybrid logicImperative logicImpossible worldInterior algebraInterpretability logicJaparidze's polymodal logicKK thesisKripke semanticsLogical possibilityLogico-linguistic modeling
subject
Wikipage page ID
Wikipage revision ID
680,546,154
type
label
Modal logic
@en
sameAs
prefLabel
Modal logic
@en