Changes related to "Dynamic logic"
From Wikipedia, the free encyclopedia
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown in bold.
5 July 2009
- (diff) (hist) . . m Wikipedia:Disambiguation; 22:35 . . (0) . . Ohms law (talk | contribs) (→Disambiguation pages: clean up using AWB)
- (diff) (hist) . . Template:Dmbox; 19:21 . . (-48) . . TheDJ (talk | contribs) (hardcoded mbox-empty-cell no longer needed.)
- (diff) (hist) . . Template:Dmbox; 16:50 . . (-13) . . Happy-melon (talk | contribs) (rm hardcoded sortkey no longer required after bugzilla:16552)
4 July 2009
- (diff) (hist) . . m Dynamic logic (modal logic); 23:07 . . (+7) . . Miym (talk | contribs) (→Propositional dynamic logic (PDL): link Fischer)
3 July 2009
- (diff) (hist) . . Dynamic logic (digital logic); 07:58 . . (+9) . . 71.104.232.71 (talk) (→Advantages)
- (diff) (hist) . . Dynamic logic (digital logic); 07:56 . . (+15) . . 71.104.232.71 (talk) (→Advantages: rephrase)
- (diff) (hist) . . Dynamic logic (digital logic); 07:55 . . (+3) . . 71.104.232.71 (talk) (→Advantages: self-contradictory statement.)
2 July 2009
- (diff) (hist) . . Wikipedia:Disambiguation; 13:19 . . (-6) . . Dekimasu (talk | contribs) (→Is there a primary topic?: starting list, rm repetitive phrase)
- (diff) (hist) . . Wikipedia:Disambiguation; 12:51 . . (-43) . . JHunterJ (talk | contribs) (→Is there a primary topic?: restore list, but use unordered list instead of ordered list to avoid implications of precedence)
- (diff) (hist) . . Wikipedia:Disambiguation; 04:36 . . (+83) . . Station1 (talk | contribs) (→Is there a primary topic?: add back different types of searches)
