classical modal logic (Q5128344)

modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B

Language	Label	Description	Also known as
English	classical modal logic	modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B

Statements

0 references

{\begin{aligned}&\Diamond A\leftrightarrow \lnot \Box \lnot A\\&A\leftrightarrow B\vdash \Box A\leftrightarrow \Box B\end{aligned}}

0 references

0 references

0 references

0 references