Regular modal logic

In modal logic, a regular modal logic is a modal logic containing (as axiom or theorem) the duality of the modal operators: ◊A↔¬◻¬A

and closed under the rule

(A∧B)->C(◻A∧◻B)->◻C.

Every normal modal logic is regular, and every regular modal logic is classical.

## References

* Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Regular modal logic. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:Regular_modal_logic&oldid=1027378"