Dynamic Logic
method
ID: dynamiclogic
Entity Details
Basic Information
Entity ID
dynamiclogic
Entity Type
Method
English Label
Dynamic Logic
Russian Label
Динамическая логика
Kazakh Label
Динамикалық логика
Frequency
1
Description
English Description
A formal system that uses quantification to express dynamic properties and transitions.
Russian Description
-
Kazakh Description
-