Concept information
PREFERRED TERM
logique modale
DEFINITION(S)
- 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 : https://ia.gdria.fr/Glossaire/logique-modale/ )
BROADER CONCEPT(S)
IN OTHER LANGUAGES
-
English
URI
http://data.loterre.fr/ark:/67375/23L-B5R12LGV-7
{{toUpperCase label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}