Talk:Dynamic logic

From Wikipedia, the free encyclopedia

DisambiguationWikipedia:WikiProject DisambiguationTemplate:DisambigProjectDisambiguation articles		WikiProject Disambiguation
	v • d • e This page is within the scope of WikiProject Disambiguation, an attempt to structure and organize all disambiguation pages on Wikipedia. If you wish to help, you can edit the page attached to this talk page, or visit the project page, where you can join the project and/or contribute to the discussion.

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)