dynamic logic (Q3836453)
(Redirected from Q5318990)
extension of modal logic
Language | Label | Description | Also known as |
---|---|---|---|
English | dynamic logic |
extension of modal logic |
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki Dynamic logic (modal logic)
- fawiki منطق پویا (منطق وجهی)
- frwiki Logique dynamique
- itwiki Logica dinamica
- ptwiki Lógica dinâmica