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 - First-order logic - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2010-11-17 11:26:53 Open Document File Size: 598,17 KB Share Result on Facebook IndustryTerm given communication protocols / cognitive applications / formal tool / transition systems / applications such systems / cognitive processing / / Organization Department of Philosophy / / Person Jan van Eijck / Floyd-Hoare Logic / Martin Stokhof / Floyd-Hoare Reasoning / / Position researcher / speaker / / ProgrammingLanguage Haskell / Java / C / / Technology Java / given communication protocols / / SocialTag Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic

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 anAdd to Reading List