Classical modal logic: Difference between revisions

Revision as of 08:35, 27 July 2010

Revision as of 08:36, 27 July 2010

Line 18:

The weakest classical system is sometimes referred to as '''E''' and is [[normal modal logic|non-normal]]. Both [[algebraic semantics|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.

==References==