Category:Modal logic

来自Wikimedia Commons
跳转到导航 跳转到搜索
<nowiki>lógica modal; modális logika; Háttarökfræði; logika modal; модальная логика; Modallogik; loighic mhódach; منطق موجهات; 模态逻辑; modallogik; kipli mantık; 様相論理; modallogik; לוגיקה מודלית; Logica modalis; 模態邏輯; 模态逻辑; 모달 논리; modala logiko; modální logika; logica modale; logique modale; modaalne loogika; modale logica; logică modală; lógica modal; lògica modal; Մոդալ տրամաբանություն; 模態邏輯; Модална логика; modalna logika; Модалдык логика; modálna logika; 模态逻辑; Lohika modal; modallogikk; modallogikk; Modalna logika; modaalilogiikka; 模態邏輯; logika modalna; Modala logiko; modal logic; منطق موجهات; 模态逻辑; Модальна логіка; tipo di sistema logico; type de système logique; 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.; estudo rigoroso de estruturas lógicas que representam modalidades diversas; Art von logischem System; 형식 논리의 유형; formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.; formala logiko kapabla esprimi ecojn kiel necesecon, eblecon, pruveblecon, devigon, scion ktp; 逻辑学; 邏輯學; catégorie modale; catégories modales; Modaalloogika; модальность; Modale Logik; Kripke-Semantik; Kripke -Struktur; Modal-logik; Logica Modal; منطق وجهی; 可能性; 真势模态逻辑; 模态算子; modal mantık; kiplik mantığı; kipler mantığı; 様相論理学; modal logik; Możliwość; Konieczność; לוגיקה מודאלית; Kontingento; Kontingenteso; 양상 논리학; Aleettinen modaalilogiikka; Aleettinen logiikka; منطق طوري; منطق الموجهات; Алетична логіка; Модалдык kогика</nowiki>
模态逻辑 
逻辑学
上传媒体
隶属于
  • 数学理论
上级分类
  • 逻辑系统
所属实体
规范控制
维基数据 Q210841
整合规范文档标识符: 4074914-9
意大利国家大辞典: 12077
捷克国家图书馆标识符: ph137160
西班牙国家图书馆标识符: XX533464
在维基数据编辑信息框数据

子分类

本分类有以下3个子分类,共有3个子分类。

K

T

分类“Modal logic”中的媒体文件

以下14个文件属于本分类,共14个文件。