Dynamic logic: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 22:5022:50, 7 December 2020‎ Botterweg14 talk contribs‎ 554 bytes +182‎ adding dynamic semantics undo

curprev 14:5614:56, 14 December 2012‎ Wywin talk contribs‎ 372 bytes −105‎ Reverted good faith edit(s) by 108.203.181.107 using STiki undo
curprev 14:5114:51, 14 December 2012‎ 108.203.181.107 talk‎ 477 bytes +105‎ Add line for Dynamic Logic Inc., a Texas corp founded in 2002 undo
curprev 14:4514:45, 14 December 2012‎ ClueBot NG talk contribs‎ m 372 bytes −91‎ Reverting possible vandalism by 108.203.181.107 to version by Bejnar. False positive? Report it. Thanks, ClueBot NG. (1401359) (Bot) undo
curprev 14:4514:45, 14 December 2012‎ 108.203.181.107 talk‎ 463 bytes +91‎ No edit summary undo

curprev 19:2519:25, 14 October 2012‎ Bejnar talk contribs‎ 372 bytes +22‎ identify Perlovsky's topic undo

curprev 19:3319:33, 28 March 2012‎ Mean as custard talk contribs‎ 350 bytes −1,003‎ external link removal undo

curprev 20:4220:42, 29 April 2011‎ Tijfo098 talk contribs‎ 350 bytes +55‎ should be mentioned, although I fail to comprehend it, so I can't summarize it mysefl undo
curprev 19:3219:32, 29 April 2011‎ CBM talk contribs‎ m 295 bytes 0‎ moved Dynamic logic/2011-4-29 to Dynamic logic: Fixing cut and paste move, step 4 undo
curprev 19:3019:30, 29 April 2011‎ CBM talk contribs‎ m 295 bytes 0‎ moved Dynamic logic to Dynamic logic/2011-4-29: Moving revision to fix old cut and paste move undo

curprev 23:0223:02, 11 October 2008‎ The Anome talk contribs‎ 236 bytes −152‎ trimming: the rest is in the article undo
curprev 23:0123:01, 11 October 2008‎ The Anome talk contribs‎ 388 bytes −50‎ see disambig formatting rules undo
curprev 22:5922:59, 11 October 2008‎ The Anome talk contribs‎ 438 bytes −19‎ rm Category:Logic: in spite of its name, one of these is not about logic undo
curprev 22:5922:59, 11 October 2008‎ The Anome talk contribs‎ 457 bytes +6‎ fmt undo

curprev 03:3003:30, 17 October 2007‎ Vaughan Pratt talk contribs‎ 451 bytes −1,621‎ Removed rambling incoherent list of references to pages none of which even mention dynamic logic undo

curprev 15:3515:35, 22 May 2007‎ Perlovsky talk contribs‎ 2,227 bytes +1,627‎ Another meaning of “dynamic logic” is added, it refers to a mathematical technique used in science and engineering undo

curprev 09:1309:13, 6 January 2007‎ 74.72.92.99 talk‎ 600 bytes +29‎ No edit summary undo

curprev 21:0821:08, 29 June 2006‎ Oleg Alexandrov talk contribs‎ m 276 bytes +5‎ format per style conventions undo