Talk:Dynamic logic

This disambiguation 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 or contribute to the discussion.DisambiguationWikipedia:WikiProject DisambiguationTemplate:WikiProject DisambiguationDisambiguation articles

Moved[edit]

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

Deleted[edit]

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

Actually Perlovsky's notion does have a little coverage in independent sources: [1], 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)[reply]