{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nDifferent modal logics can be derived from taking different subsets of these axioms, and these logics are normally named after the important axioms being employed. However, this is not always the case. KT45, the modal logic that results from the combining of **K**, **T**, **4**, **5**, and the Knowledge Generalization Rule, is primarily known as S5. This is why the properties of knowledge described above are often called the S5 Properties. However, it can be proven that modal axiom **B** is a theorem in S5 (viz. $S5 \\vdash \\mathbf {B}$), which says that *what an agent does not know that they do not know* is true: $\\neg K_i \\neg K_i \\varphi \\implies \\varphi$. The modal axiom **B** is true on any symmetric frame, but is very counterintuitive in epistemic logic: How can *the ignorance on one's own ignorance* imply truth? It is therefore debatable whether S4 describes epistemic logic better, rather than S5.\n\nEpistemic logic also deals with belief, not just knowledge. The basic modal operator is usually written *B* instead of *K*. In this case, though, the knowledge axiom no longer seems right—agents only sometimes believe the truth—so it is usually replaced with the Consistency Axiom, traditionally called **D**:\n\n$$\\neg B_i \\bot$$\n\nwhich states that the agent does not believe a contradiction, or that which is false. When **D** replaces **T** in S5, the resulting system is known as KD45. This results in different properties for $\\mathcal{K}_i$ as well. For example, in a system where an agent \"believes\" something to be true, but it is not actually true, the accessibility relation would be non-reflexive. The logic of belief is called doxastic logic.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "71CHYRTW9G"
    ],
    "kind": "statement",
    "name": "Axiom systems",
    "role": "proposition",
    "sources": [
      {
        "locator": "Epistemic modal logic, section The properties of knowledge \u003e Axiom systems",
        "mention": "wikipedia://en/3827197#00W0",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:3827197@r1374360744"
      }
    ],
    "tag": "P17XCCSQJM"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/P17XCCSQJM/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/P17XCCSQJM.md",
  "msc": null,
  "name": "Axiom systems",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/P17/P17XCCSQJM.md",
  "status": null,
  "tag": "P17XCCSQJM",
  "uri": "m2://P17XCCSQJM",
  "url": "https://math2.tamnd.com/wiki/axiom-systems-statement/",
  "writing": {
    "tag": "P17XCCSQJM",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}