modal logic (Q210841)
Jump to navigation
Jump to search
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Language | Label | Description | Also known as |
---|---|---|---|
English | modal logic |
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc. |
Statements
Modal logic
0 references
Identifiers
1 reference
Registros de autoridad de "Materia" de la Biblioteca Nacional de España (Spanish)
21 July 2023
МОДАЛЬНАЯ ЛОГИКА
0 references
1 reference
Sitelinks
Wikipedia(36 entries)
- arwiki منطق موجهات
- cawiki Lògica modal
- cswiki Modální logika
- dawiki Modallogik
- dewiki Modallogik
- enwiki Modal logic
- eowiki Modala logiko
- eswiki Lógica modal
- etwiki Modaalne loogika
- fawiki منطق موجهات
- fiwiki Modaalilogiikka
- frwiki Logique modale
- gawiki Loighic mhódach
- hewiki לוגיקה מודלית
- huwiki Modális logika
- hywiki Մոդալ տրամաբանություն
- iowiki Modala logiko
- iswiki Háttarökfræði
- itwiki Logica modale
- jawiki 様相論理
- kowiki 양상 논리
- kywiki Модалдык логика
- lawiki Logica modalis
- nlwiki Modale logica
- nnwiki Modallogikk
- nowiki Modallogikk
- plwiki Logika modalna
- ptwiki Lógica modal
- ruwiki Модальная логика
- shwiki Modalna logika
- skwiki Modálna logika
- srwiki Модална логика
- svwiki Modallogik
- ukwiki Модальна логіка
- warwiki Lohika modal
- zhwiki 模态逻辑
Wikibooks(1 entry)
- enwikibooks Logic for Computer Scientists/Modal Logic