Classical modal logic
From Wikipedia, the free encyclopedia
In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem)
and being closed under the rule
Alternatively one can give a dual definition of L by which L is classical iff it contains (as axiom or theorem)
and is closed under the rule
The weakest classical system is sometimes referred to as E and is non-normal. Both algebraic and neighborhood semantics characterize familiar classical modal systems that are weaker than the weakest normal modal logic K.
[edit] References
Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980.
 |
This science article is a stub. You can help Wikipedia by expanding it. |
