(Q5128344)

English

classical modal logic

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

In more languages

Statements

0 references

defining formula

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

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

0 references

Microsoft Academic ID

0 references

Sitelinks

Wikipedia(6 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q5128344&oldid=2100636376"