About: Modal logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.

thumbnail
Property Value
dbo:description
  • Posibilitatea eta beharraren kontzeptuak kontuan hartzen dituen logika. Logika modalak 'litekeena da bihar euria egitea' edo 'beharrezkoa da bihar euria egitea' moduko esakuneak erabiltzen ditu. (eu)
  • Art von logischem System (de)
  • Några begrepp tillagd (sv)
  • formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc. (en)
  • formala logiko kapabla esprimi ecojn kiel necesecon, eblecon, pruveblecon, devigon, scion ktp (eo)
  • tipo di sistema logico (it)
  • type de système logique (fr)
  • 非古典逻辑的一个分支，研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理 (zh)
  • estudo rigoroso de estruturas lógicas que representam modalidades diversas (pt)
  • 형식 논리의 유형 (ko)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:date
  • November 2016 (en)
dbp:reason
  • Add a wikilink, give a longer name, or give a reference for the 'T' logic. (en)
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Modal logic (en)
  • 模态逻辑 (zh)
  • Lògica modal (ca)
  • منطق موجهات (ar)
  • Modální logika (cs)
  • Modallogik (de)
  • Modala logiko (eo)
  • Lógica modal (es)
  • Loighic mhódach (ga)
  • Logique modale (fr)
  • Logica modale (it)
  • 様相論理 (ja)
  • 양상 논리 (ko)
  • Logika modalna (pl)
  • Modale logica (nl)
  • Lógica modal (pt)
  • Modallogik (sv)
  • Модальна логіка (uk)
  • Модальная логика (ru)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:mainInterest of
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:caption of
is dbp:mainInterests of
is dbp:notableIdeas of
is dbp:subjects of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International