"Kripke frame" meaning in All languages combined

{
  "etymology_text": "Named after Saul Kripke.",
  "forms": [
    {
      "form": "Kripke frames",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Kripke frame (plural Kripke frames)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation."
      ],
      "holonyms": [
        {
          "word": "Kripke model"
        }
      ],
      "id": "en-Kripke_frame-en-noun-Q8fWXrc-",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "set",
          "set"
        ],
        [
          "preordering",
          "preorder"
        ]
      ],
      "raw_glosses": [
        "(logic) A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "Saul Kripke"
      ]
    }
  ],
  "word": "Kripke frame"
}

{
  "etymology_text": "Named after Saul Kripke.",
  "forms": [
    {
      "form": "Kripke frames",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Kripke frame (plural Kripke frames)",
      "name": "en-noun"
    }
  ],
  "holonyms": [
    {
      "word": "Kripke model"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "en:Logic"
      ],
      "glosses": [
        "A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "set",
          "set"
        ],
        [
          "preordering",
          "preorder"
        ]
      ],
      "raw_glosses": [
        "(logic) A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "Saul Kripke"
      ]
    }
  ],
  "word": "Kripke frame"
}