Top Qs
Timeline
Chat
Perspective
Regular modal logic
From Wikipedia, the free encyclopedia
Remove ads
Remove ads
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 is regular, and every regular modal logic is classical.
Remove ads
References
- Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads