Dynamic logic

Dynamic logic may mean:

In cognitive science, computational intelligence, and engineering:
 * A bio-inspired mathematical description of a logic-process that evolves uncertain, vague, fuzzy, or less conscious knowledge (statements, models, representations) into more certain, concrete, conscious, resembling statements of formal logic. It models mechanisms of the mind (concepts, emotions, instincts, behavior; learning, understanding, intuitions, conscious and unconscious, Jungian symbol-processes connecting consciousness and unconscious; emotions of the beautiful and sublime) and evolution of languages, consciousness, music, and cultures. In engineering it resulted in significant improvement in solving classical problems (such as detection, recognition, tracking, fusion) and new approaches to recently emerging problems (such as text search engines and cultural prediction models). Further references can be found at ; Perlovsky, L.I. (2001). Neural Networks and Intellect: using model-based concepts. Oxford University Press, New York, NY (3rd printing); Perlovsky, L.I. (2006). Symbols: Integrated Cognition and Language. Chapter in Semiotics and Intelligent Systems Development. Eds. R. Gudwin, J. Queiroz. Idea Group, Hershey, PA, pp.121-151; Perlovsky, L.I., Kozma, R., Eds. (2007). Neurodynamics of Higher-Level Cognition and Consciousness. Springer-Verlag, Heidelberg, Germany; Mayorga, R., Perlovsky, L.I., Eds. (2007). Sapient Systems. Springer, London, UK.

In modal logic:
 * Dynamic logic is a modal logic for reasoning about dynamic behaviour with applications to logics of programs, program verification, modal logic including possible world semantics, linguistics, and artificial intelligence.

In digital logic:
 * Dynamic logic is used for circuit design.