Home›Logic in computer science›منطق پویا (منطق وجهی)🌐فارسیEnglishFrançaisItalianoPortuguêsفارسیEntityQ3836453· pop 5· linked from 35 articlesمنطق پویا (منطق وجهی)extension of modal logicAvailable in 5 languagesFrançaisPortuguêsItalianoفارسیvia Wikidata sitelinks · CC0ConnectionsdeadlockEntityformal systemEntityCategoriesLogic in computer scienceModal logicNon-classical logicProgram logic