Talk:Dynamic logic

I would like to see some evidence for the claim that Fuzzy logic is the same a Dynamic logic. While Fuzzy logic is a fairly well-defined topic (http://www-2.cs.cmu.edu/Groups/AI/html/faqs/ai/fuzzy/part1/faq.html ), dynamic logic doesn't seem to be a fixed term at all (my Google impression). AxelBoldt 21:53 Jan 4, 2003 (UTC)

I have never saw any claim that fuzzy logic is equivalent to dinamyc logic, whatever is dynamic logic. Therefore, I believe this page should be considered a personnal view of the matter and not the accepted standard of the term. I will take the responsability to initiate a refactoring, at least not redirecting Fuzzy logic to Dynamic logic. User: Geraldo Xexéo

I have now found what does dynamic logic means, and have nothing to do with fuzzy logic. Cited directly from the article: DL is a multi-model logic with a a possible worlds semantic, which distinguishes between expressions of two sorts: formulae and programs. What does it has to do with Fuzzy Logic???? User: Geraldo Xexéo

I agree with both opinions, fuzzy logic is another thing. Perhaps the author is confused with some uses of fuzzy logic and ignores what is dynamic logic. Dynamic Logic is a symbolic logic related to proccesses, with rules like $[\alpha ]p\wedge q=>[\alpha ]p\wedge [\alpha ]q$ where $\alpha$ is a process $p\wedge q$ is a contition to meet after the processess between squared brackets (in this example just $\alpha$) finish. In this sense dynamic logic is considered a kind of modal logic, comparing the processes with modal operators. At this time I do not know more about the subject, but I am shure it is not fuzzy logic!

What the heck is this?

OK, I have to admit I have no idea what this article is talking about. (Though regarding comments about fuzzy logic, I can say it doesn't seem to be like it at all.) We need some more about the implications of this and how it's applied and all that. Something like "The key idea is that programs can be represented by means of an algebra of actions, each of whose elements determine two dual modalities: action a gives a 'box' modality [a], and a diamond modality <a>" reads to me like, "gibber gibber gibber blah algebra blah gibber gibber [a] gibber <a>". :) - Furrykef 00:01, 10 Nov 2004 (UTC)

I rewrote the article:it's not exactly didactically ideal, but at least it's correct, where what I replaced was mostly nonsense. All references to fuzzy logic were deleted. I might try and improve it, but it's far from an editing priority for me. ---- Charles Stewart 00:58, 10 Nov 2004 (UTC)