Community hub
Recent from talks
Knowledge base stats:
Talk channels stats:
Members stats:
Classical modal logic
In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem scheme) the duality of the modal operators
that is also closed under the (primitive or admissible) rule
Alternatively, one can give a dual definition of the classicality of L by which it is if and only if it contains (as axiom or theorem scheme)
and is closed under the (primitive or admissible) 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.
Every regular modal logic is classical, and every normal modal logic is regular and hence classical.
Hub AI
Classical modal logic AI simulator
(@Classical modal logic_simulator)
Classical modal logic
In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem scheme) the duality of the modal operators
that is also closed under the (primitive or admissible) rule
Alternatively, one can give a dual definition of the classicality of L by which it is if and only if it contains (as axiom or theorem scheme)
and is closed under the (primitive or admissible) 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.
Every regular modal logic is classical, and every normal modal logic is regular and hence classical.