Classical modal logic: Difference between revisions

Revision as of 16:29, 28 April 2020

Revision as of 16:31, 28 April 2020

Line 9:

<math> A \equiv B \vdash \Box A\equiv\Box B.</math>

Alternatively one can give a dual definition of '''L''' by which '''L''' is classical if[[iff]] it contains (as axiom or theorem)

<math>\Box A \equiv \lnot\Diamond\lnot A</math>