Concept information
PREFERRED TERM
modal logic
DEFINITION(S)
- 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 https://ia.gdria.fr/Glossaire/logique-modale/ )
BROADER CONCEPT(S)
IN OTHER LANGUAGES
-
French
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}}