In logic, a normal modal logic is a set L of modal formulas such that L contains:
In logic, a normal modal logic is a set L of modal formulas such that L contains:
[
"Intermediate logic",
"Multimodal logic",
"Modal logic",
"Regular modal logic",
"Strict conditional",
"Barcan formula",
"Method of analytic tableaux",
"Lindström's theorem"
]