| Property |
Value |
| dbo:abstract
|
- En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des qualités du vrai. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité :
* Il est nécessaire qu'il pleuve ;
* Demain, il pleut ;
* Christophe Colomb croit qu'il pleut ;
* Il est démontré qu'il pleut ;
* Il est obligatoire qu'il pleuve. Il existe une variété de logiques modales comme les logiques temporelles, la logique épistémique (logique de connaissance). En informatique, la logique modale est utilisée pour son expressivité et les aspects algorithmiques. Par exemple, la logique temporelle est utilisée pour spécifier des programmes puis les vérifier. (fr)
- En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des qualités du vrai. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité :
* Il est nécessaire qu'il pleuve ;
* Demain, il pleut ;
* Christophe Colomb croit qu'il pleut ;
* Il est démontré qu'il pleut ;
* Il est obligatoire qu'il pleuve. Il existe une variété de logiques modales comme les logiques temporelles, la logique épistémique (logique de connaissance). En informatique, la logique modale est utilisée pour son expressivité et les aspects algorithmiques. Par exemple, la logique temporelle est utilisée pour spécifier des programmes puis les vérifier. (fr)
|
| dbo:isPartOf
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 12007 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:auteur
|
- Brian F. Chellas (fr)
- Brian F. Chellas (fr)
|
| prop-fr:ref
|
- Référence:Modal logic, an introduction (fr)
- Référence:Modal logic, an introduction (fr)
|
| prop-fr:titre
|
- Modal logic, an introduction (fr)
- Modal logic, an introduction (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:wiktionary
|
- logique (fr)
- logique (fr)
|
| prop-fr:wiktionaryThésaurus
|
- logique modale/français (fr)
- logique modale/français (fr)
|
| prop-fr:éditeur
|
- Cambridge University Press (fr)
- Cambridge University Press (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des qualités du vrai. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité :
* Il est nécessaire qu'il pleuve ;
* Demain, il pleut ;
* Christophe Colomb croit qu'il pleut ;
* Il est démontré qu'il pleut ;
* Il est obligatoire qu'il pleuve. (fr)
- En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des qualités du vrai. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité :
* Il est nécessaire qu'il pleuve ;
* Demain, il pleut ;
* Christophe Colomb croit qu'il pleut ;
* Il est démontré qu'il pleut ;
* Il est obligatoire qu'il pleuve. (fr)
|
| rdfs:label
|
- Logique modale (fr)
- Logica modale (it)
- Lohika modal (war)
- Lògica modal (ca)
- Modale logica (nl)
- Модальна логіка (uk)
- منطق موجهات (ar)
- 様相論理 (ja)
- Logique modale (fr)
- Logica modale (it)
- Lohika modal (war)
- Lògica modal (ca)
- Modale logica (nl)
- Модальна логіка (uk)
- منطق موجهات (ar)
- 様相論理 (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:isPartOf
of | |
| is dbo:mainArticleForCategory
of | |
| is dbo:mainInterest
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:principauxIntérêts
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
