Talk:Dynamic logic

From Wikipedia, the free encyclopedia

Contents 1 Moved 2 Deleted

[edit] 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)

[edit] 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)