In
modal logic, a regular modal logic is a modal logic containing (as axiom or theorem) the
duality of the modal operators:
and closed under the rule
Every
normal modal logic In logic, a normal modal logic is a set ''L'' of modal formulas such that ''L'' contains:
* All propositional tautologies;
* All instances of the Kripke schema: \Box(A\to B)\to(\Box A\to\Box B)
and it is closed under:
* Detachment rule ('' modus ...
is regular, and every regular modal logic is
classical.
References
*Chellas, Brian. ''Modal Logic: An Introduction''. Cambridge University Press, 1980.
Logic
Modal logic
{{logic-stub