Jump to content

Talk:Dynamic logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]