@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1>
  skos:prefLabel "logique"@fr, "logic"@en ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-B5R12LGV-7> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-B5R12LGV-7>
  skos:definition "a type of formal logic in which modal symbols are added to the language of classical logic to express, for example, what is necessary, possible or mandatory, or to refer to time (Source: translated from  <a href=\"https://ia.gdria.fr/Glossaire/logique-modale/\">https://ia.gdria.fr/Glossaire/logique-modale/</a> )"@en, "type de logique formelle où l’on ajoute au langage de la logique classique des symboles de modalités qui, par exemple, expriment le nécessaire, le possible, ou l’obligatoire, ou encore qui se rapportent au temps (Source :  <a href=\"https://ia.gdria.fr/Glossaire/logique-modale/\">https://ia.gdria.fr/Glossaire/logique-modale/</a> )"@fr ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Modal_logic>, <https://fr.wikipedia.org/wiki/Logique_modale>, <https://www.wikidata.org/wiki/Q210841> ;
  skos:prefLabel "modal logic"@en, "logique modale"@fr ;
  a skos:Concept ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> ;
  dc:modified "2024-06-25T11:30:37"^^xsd:dateTime .