language-icon Old Web
English
Sign In

Normal modal logic

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" ]
Parent Topic
Child Topic
    No Parent Topic