<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-11-17 11:26:53Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic |
Add to Reading List |
The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an
