---
tag: VJ78A0Q22R
kind: concept
name: Dynamic modal logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section D
    note: adopted
    mention: wikipedia://en/76765067#RA27
    sections: [Summary]
inventory: [B5Z4W9NB6Y]
---

## Summary

A branch of modal logic that studies necessary and possible connections between events.