Accessibility relationAccident (philosophy)ActualismAdmissible ruleAlethic modalityAlternating-time temporal logicApodicticityAssertoricAutoepistemic logicBarcan formulaBuridan formulaClassical modal logicConceptual necessityContingency (philosophy)Deontic logicDeontic modalityDoxastic logicDynamic epistemic logicDynamic logic (modal logic)Epistemic closureEpistemic modal logicEpistemic possibilityEssenceFiction theoryFinite model propertyFormal ethicsFree choice inferenceFrege–Church ontologyGabbay's separation theoremGeneral frameGuarded logicGödel's ontological proofHennessy–Milner logicHybrid logicImperative logicImpossible worldInduction puzzlesInterior algebraInterpretability logicJaparidze's polymodal logic
Link from a Wikipage to another Wikipage
Accessibility relationAccident (philosophy)ActualismAdmissible ruleAlethic modalityAlternating-time temporal logicApodicticityAssertoricAutoepistemic logicBarcan formulaBuridan formulaClassical modal logicConceptual necessityContingency (philosophy)Deontic logicDeontic modalityDoxastic logicDynamic epistemic logicDynamic logic (modal logic)Epistemic closureEpistemic modal logicEpistemic possibilityEssenceFiction theoryFinite model propertyFormal ethicsFree choice inferenceFrege–Church ontologyGabbay's separation theoremGeneral frameGuarded logicGödel's ontological proofHennessy–Milner logicHybrid logicImperative logicImpossible worldInduction puzzlesInterior algebraInterpretability logicJaparidze's polymodal logic
subject
Wikipage page ID
Wikipage revision ID
967,884,486
wikiPageUsesTemplate
type
label
Modal logic
@en
prefLabel
Modal logic
@en