{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA form of modal logic that deals with modes of truth beyond the alethic modes of necessity and possibility, such as deontic (duty and permission) or epistemic (knowledge and belief) modalities.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "BWKMMVKFJM"
    ],
    "kind": "concept",
    "name": "Non-alethic modal logic",
    "sources": [
      {
        "locator": "Glossary of logic, section N",
        "mention": "wikipedia://en/76765067#0NXW",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "QX8THXB8RV"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/QX8THXB8RV/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/QX8THXB8RV.md",
  "msc": null,
  "name": "Non-alethic modal logic",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QX8/QX8THXB8RV.md",
  "status": null,
  "tag": "QX8THXB8RV",
  "uri": "m2://QX8THXB8RV",
  "url": "https://math2.tamnd.com/wiki/non-alethic-modal-logic/",
  "writing": {
    "tag": "QX8THXB8RV",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}