About: dbpedia-fr:Logique

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Logique_modale Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Logique modale (fr) Logica modale (it) Lohika modal (war) Lògica modal (ca) Modale logica (nl) Модальна логіка (uk) منطق موجهات (ar) 様相論理 (ja)
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)
rdfs:seeAlso	http://plato.stanford.edu/entries/logic-modal http://plato.stanford.edu/entries/logic-modal-origins https://www.britannica.com/topic/modal-logic https://www.jstor.org/topic/modal-logic https://bigenc.ru/text/2221501 https://www.quora.com/topic/Modal-Logic https://www.ne.se/uppslagsverk/encyklopedi/lång/modallogik https://commons.wikimedia.org/wiki/Category:Modal_logic
sameAs	dbr:Modal_logic wikidata:Q210841 dbpedia-ar:منطق_موجهات dbpedia-ca:Lògica_modal dbpedia-cs:Modální_logika dbpedia-da:Modallogik dbpedia-de:Modallogik dbpedia-eo:Modala_logiko dbpedia-es:Lógica_modal dbpedia-et:Modaalne_loogika dbpedia-fa:منطق_موجهات dbpedia-fi:Modaalilogiikka dbpedia-ga:Loighic_mhódach dbpedia-he:לוגיקה_מודלית dbpedia-hu:Modális_logika http://hy.dbpedia.org/resource/Մոդալ_տրամաբանություն dbpedia-io:Modala_logiko dbpedia-is:Háttarökfræði dbpedia-it:Logica_modale dbpedia-ja:様相論理 dbpedia-ko:양상_논리 http://ky.dbpedia.org/resource/Модалдык_логика dbpedia-la:Logica_modalis dbpedia-nl:Modale_logica dbpedia-nn:Modallogikk dbpedia-no:Modallogikk dbpedia-pl:Logika_modalna dbpedia-pt:Lógica_modal dbpedia-ru:Модальная_логика dbpedia-sh:Modalna_logika dbpedia-sk:Modálna_logika dbpedia-sr:Модална_логика dbpedia-sv:Modallogik dbpedia-uk:Модальна_логіка dbpedia-war:Lohika_modal dbpedia-zh:模态逻辑 https://d-nb.info/gnd/4074914-9 http://g.co/kg/m/01x5k5 http://purl.org/bncf/tid/12077 http://ma-graph.org/entity/27508121 http://msc2010.org/resources/MSC/2010/03B45
Wikipage page ID	32536 (xsd:integer)
Wikipage revision ID	185955805 (xsd:integer)
dbo:wikiPageWikiLink	Boolean algebra Propositional calculus First-order logic category-fr:Logique_modale dbpedia-fr:Clarence_Irving_Lewis dbpedia-fr:Contingence dbpedia-fr:Contradiction Dilemma dbpedia-fr:Edward_N._Zalta dbpedia-fr:Fictionnalisme_modal dbpedia-fr:Formule_de_Sahlqvist dbpedia-fr:Implication_(logique) Computer science dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:Logique_de_la_prouvabilité dbpedia-fr:Logique_doxastique dbpedia-fr:Logique_déontique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_polyvalente dbpedia-fr:Logique_temporelle dbpedia-fr:Logique_épistémique dbpedia-fr:Mondes_possibles dbpedia-fr:Nécessité dbpedia-fr:Oskar_Becker dbpedia-fr:Possibilité_et_impossibilité Gödel's ontological proof dbpedia-fr:Programme_informatique Saul Kripke dbpedia-fr:Sémantique_de_Kripke dbpedia-fr:Théorie_Dezert-Smarandache Löb's theorem Truth value dbpedia-fr:Vérification_de_modèles Event (philosophy) dbpedia-fr:Modalité_(logique)
Link from a Wikipage to an external page	http://www.cairn.info/revue-l-homme-2007-4-page-131.htm http://teachinglogic.imag.fr/TableauxS4/ https://github.com/rkirsling/modallogic

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 7 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software