In the Vinony graph
Within Vinony's link graph, logique modale is referenced by 394 other articles, and connects out to first-order logic, Arthur Prior and philosophy.
It sits within the topics Logic, Mathematical logic and Modal logic.
Its subject is documented across 38 Wikipedia language editions.
Wikidata facts
- Part of
- mathematical logic
Show 4 more facts
- topic's main category
- Category:Modal logic
- Commons category
- Modal logic
- influenced by
- predicate logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/modal-logic
via Wikidata · CC0
Article · Français
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[pas clair]. 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.
Abstract from DBpedia / Wikipedia · CC BY-SA