Talk:Dynamic logic

Moved
I moved "Dynamic logic" to "Dynamic logic (modal logic)" and "Clocked logic" to "Dynamic logic (digital logic)". This page is now a disambiguation page. I really hope I didn't piss anyone off. Fresheneesz 21:00, 5 March 2006 (UTC)

Deleted
Deleted links to articles not mentioning any kind of dynamic logic. (Some of these links might be appropriate for a dab page under dynamic or logic, though the ones I deleted seemed just plain incoherent and rambling.) --Vaughan Pratt 03:41, 17 October 2007 (UTC)
 * Actually Perlovsky's notion does have a little coverage in independent sources:, so I've added a line for it (back), but I can't write up a brief and insightful summary just yet, and dynamic logic (neural) is of little help being loaded with wp:jargon I'm unfamiliar with. Tijfo098 (talk) 20:54, 29 April 2011 (UTC)