Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
dynamic logic (modal logic)
English Wikipedia - The Free Encyclopedia
Download this dictionary
Dynamic logic (modal logic)
Dynamic logic
is an extension of
modal logic
originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in
linguistics
,
philosophy
,
AI
, and other fields.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License