{
  "broaderTermGeneral" : [ {
    "id" : "https://d-nb.info/gnd/4637784-0",
    "label" : "Dynamische Logik"
  } ],
  "relatedDdcWithDegreeOfDeterminacy2" : [ {
    "id" : "http://dewey.info/class/004.015113/",
    "label" : "http://dewey.info/class/004.015113/"
  }, {
    "id" : "http://dewey.info/class/005.131/",
    "label" : "http://dewey.info/class/005.131/"
  } ],
  "describedBy" : {
    "id" : "https://d-nb.info/gnd/4825238-4/about",
    "maintainer" : {
      "id" : "https://ld.zdb-services.de/resource/organisations/DE-101",
      "label" : "https://ld.zdb-services.de/resource/organisations/DE-101"
    },
    "dctCreator" : {
      "id" : "https://ld.zdb-services.de/resource/organisations/DE-101",
      "label" : "https://ld.zdb-services.de/resource/organisations/DE-101"
    },
    "license" : {
      "id" : "http://creativecommons.org/publicdomain/zero/1.0/",
      "label" : "http://creativecommons.org/publicdomain/zero/1.0/"
    },
    "dateModified" : "2025-04-11T14:29:19.000",
    "descriptionLevel" : {
      "id" : "https://d-nb.info/standards/vocab/gnd/description-level#1",
      "label" : "Katalogisierungslevel 1"
    }
  },
  "definition" : [ "Eine Variante der Dynamischen Logik, die als Programmvariablen nur Boolesche Variablen zulässt." ],
  "gndIdentifier" : "4825238-4",
  "id" : "https://d-nb.info/gnd/4825238-4",
  "preferredName" : "Dynamische Aussagenlogik",
  "type" : [ "SubjectHeadingSensoStricto", "SubjectHeading", "AuthorityResource" ],
  "variantName" : [ "Propositional Dynamic Logic", "PDL <Logik>" ],
  "@context" : "https://lobid.org/gnd/context.jsonld",
  "gndSubjectCategory" : [ {
    "id" : "https://d-nb.info/standards/vocab/gnd/gnd-sc#30",
    "label" : "Informatik, Datenverarbeitung"
  } ],
  "oldAuthorityNumber" : [ "(DE-588c)4825238-4" ]
}