Regular modal logic
In modal logic, a regular modal logic is a modal logic containing the duality of the modal operators:
and closed under the rule
Every normal modal logic is regular, and every regular modal logic is classical.
In modal logic, a regular modal logic is a modal logic containing the duality of the modal operators:
and closed under the rule
Every normal modal logic is regular, and every regular modal logic is classical.