Interpretability 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 03:2803:28, 3 February 2024‎ Ytx21cn talk contribs‎ m 3,845 bytes −17‎ →‎Logic TOL: style & layout undo
curprev 03:2703:27, 3 February 2024‎ Ytx21cn talk contribs‎ m 3,862 bytes −22‎ →‎Logic ILM: style & layout undo

curprev 21:1721:17, 1 June 2023‎ Carchasm talk contribs‎ 3,884 bytes +41‎ added Category:Interpretation (philosophy) using HotCat undo
curprev 21:1621:16, 1 June 2023‎ Carchasm talk contribs‎ 3,843 bytes −25‎ removed Category:Modal logic using HotCat remove parent of Provability logic undo

curprev 11:5111:51, 25 August 2022‎ Sara Uckelman talk contribs‎ 3,868 bytes +4‎ No edit summary undo

curprev 22:4122:41, 19 December 2020‎ 78.149.213.27 talk‎ 3,864 bytes +10‎ No edit summary undo

curprev 20:4420:44, 7 October 2020‎ LBehounek talk contribs‎ m 3,854 bytes +11‎ wikilink Petr Hajek, formatting undo

curprev 09:3409:34, 25 January 2020‎ InternetArchiveBot talk contribs‎ 3,843 bytes +43‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 13:5013:50, 18 November 2017‎ Lukamikec talk contribs‎ 3,800 bytes −1‎ fixed axiom 7 (-> instead of |>) undo

curprev 09:0409:04, 19 November 2015‎ DanielVallstrom talk contribs‎ m 3,801 bytes −4‎ CE: 'or' is inclusive, i.e. the 'and' case is already covered by 'or'. undo

curprev 15:1515:15, 11 September 2015‎ Ruud Koot talk contribs‎ 3,805 bytes +31‎ added Category:Provability logic using HotCat undo

curprev 16:1616:16, 30 May 2015‎ ProvLog talk contribs‎ 3,774 bytes +2,965‎ No edit summary undo

curprev 06:4706:47, 13 March 2013‎ Addbot talk contribs‎ m 809 bytes −30‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q6056451 undo

curprev 17:4517:45, 4 August 2012‎ Byelf2007 talk contribs‎ m 839 bytes +1‎ grammar undo
curprev 17:4317:43, 4 August 2012‎ Byelf2007 talk contribs‎ m 838 bytes +1‎ grammar undo

curprev 02:2502:25, 1 December 2011‎ ZéroBot talk contribs‎ m 837 bytes +30‎ r2.7.1) (Robot: Adding ja:解釈可能性論理 undo

curprev 12:0312:03, 17 April 2010‎ Buster7 talk contribs‎ 807 bytes +9‎ edit undo

curprev 17:3517:35, 19 May 2009‎ DrilBot talk contribs‎ m 798 bytes −1‎ WikiProject Check Wikipedia cleanup (category before last headline) and general fixes undo

curprev 08:0008:00, 9 July 2008‎ Edward talk contribs‎ m 799 bytes +4‎ link Giorgi Japaridze using Find link undo

curprev 13:2513:25, 8 September 2005‎ EmilJ talk contribs‎ m 795 bytes 0‎ spelling undo

curprev 07:4007:40, 6 October 2004‎ Nortexoid talk contribs‎ m 795 bytes 0‎ typo undo

curprev 19:0519:05, 30 September 2004‎ Chalst talk contribs‎ 795 bytes +22‎ No edit summary undo

curprev 04:1004:10, 15 May 2004‎ Kntg talk contribs‎ 773 bytes +25‎ No edit summary undo
curprev 03:0703:07, 15 May 2004‎ Kntg talk contribs‎ m 748 bytes −10‎ =References= undo

curprev 14:3314:33, 10 May 2004‎ 129.125.139.242 talk‎ 758 bytes +2‎ No edit summary undo

curprev 20:1620:16, 25 April 2004‎ Michael Hardy talk contribs‎ 661 bytes −4‎ As I often point out, on Wikipedia, TeX looks good in "displayed" math but often looks very bad when embedded in text. Switching to alternative notation. undo
curprev 20:1420:14, 25 April 2004‎ Michael Hardy talk contribs‎ 665 bytes +10‎ No edit summary undo
curprev 17:1617:16, 25 April 2004‎ Kntg talk contribs‎ 655 bytes −590‎ No edit summary undo
curprev 17:1017:10, 25 April 2004‎ Kntg talk contribs‎ 1,245 bytes +1,245‎ page created

3 February 2024

1 June 2023

25 August 2022

19 December 2020

7 October 2020

25 January 2020

18 November 2017

19 November 2015

11 September 2015

30 May 2015

13 March 2013

4 August 2012

1 December 2011

17 April 2010

19 May 2009

9 July 2008

8 September 2005

6 October 2004

30 September 2004

15 May 2004

10 May 2004

27 April 2004

25 April 2004