Jump to content

Autoepistemic logic: Revision history

View logs for this page (view filter log)

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 06:3906:39, 2 July 2024 Cewbot talk contribs m 7,529 bytes +316 Fixing broken anchor: Reminder of an inactive anchor: model undo

curprev 08:0008:00, 25 April 2024 Belbury talk contribs 7,213 bytes −40 WP:SDSHORT undo Tag: Shortdesc helper

curprev 00:1000:10, 15 October 2023 2a02:1812:110c:dc00:170:2ad8:3eba:77a2 talk 7,253 bytes +42 No edit summary undo

curprev 21:3521:35, 11 October 2023 2a02:1812:110c:dc00:8ddc:ceda:1411:2437 talk 7,211 bytes +127 No edit summary undo

curprev 21:5621:56, 1 June 2023 Carchasm talk contribs 7,084 bytes +4 removed Category:Modal logic; added Category:Epistemic logic using HotCat undo

curprev 05:4905:49, 30 January 2023 OAbot talk contribs m 7,080 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 20:5520:55, 1 April 2021 Marcocapelle talk contribs 7,063 bytes −23 →References: removed Category:Knowledge, not a defining characteristic undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 17:5117:51, 12 December 2020 Monkbot talk contribs m 7,086 bytes −7 Task 18 (cosmetic): eval 5 templates: del empty params (1×); hyphenate params (1×); undo Tag: AWB

curprev 04:4004:40, 24 September 2020 Citation bot talk contribs 7,093 bytes +31 Add: s2cid. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Knowledge | via #UCB_Category undo

curprev 23:2223:22, 25 February 2020 The Anome talk contribs 7,062 bytes +101 Adding short description: "Formal logic for the representation and reasoning of knowledge about knowledge" (Shortdesc helper) undo

curprev 00:0200:02, 24 January 2020 InternetArchiveBot talk contribs 6,961 bytes +71 Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 16:4116:41, 6 November 2019 InternetArchiveBot talk contribs 6,890 bytes +64 Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 00:1200:12, 13 July 2019 Citation bot talk contribs m 6,826 bytes −174 Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Marianne Zimmerman undo

curprev 13:0213:02, 4 April 2019 79.107.104.246 talk 7,000 bytes +6 revert own edit undo
curprev 13:0113:01, 4 April 2019 79.107.104.246 talk 6,994 bytes −6 No edit summary undo

curprev 19:3019:30, 1 December 2017 Omnipaedista talk contribs 7,000 bytes +22 No edit summary undo

curprev 19:2419:24, 13 October 2017 152.1.137.158 talk 6,978 bytes 0 ~~~ put the note in ref tags. undo

curprev 21:3821:38, 19 May 2017 Rriegs talk contribs m 6,978 bytes +17 →Semantics: fix ambiguous link undo

curprev 07:4607:46, 2 November 2016 Bender the Bot talk contribs m 6,352 bytes +1 →References: http→https for Google Books and Google News using AWB undo

curprev 11:4011:40, 1 November 2016 193.231.19.53 talk 6,351 bytes +4 →Syntax undo

curprev 20:2320:23, 6 May 2016 24.9.149.72 talk 6,347 bytes +123 →Syntax undo

curprev 16:2716:27, 10 August 2015 Solomon7968 talk contribs m 6,224 bytes +4 link undo

curprev 23:5223:52, 21 November 2013 Rjwilmsi talk contribs m 6,220 bytes −2 Category:CS1_errors:_dates fixes, replaced: |year=January 1985 | → |date=January 1985 | using AWB (9711) undo

curprev 02:0402:04, 15 July 2013 Damien Linnane talk contribs 6,222 bytes +6 Ref fix undo

curprev 16:4516:45, 14 March 2013 Addbot talk contribs m 6,216 bytes −53 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q4826262 undo

curprev 08:1008:10, 10 February 2013 RDBrown talk contribs 6,269 bytes +1,079 →References: →Cite journal, →Cite book with {T} Wikipedia citation tool for Google Books undo

curprev 22:1122:11, 10 November 2012 Gregbard talk contribs m 5,190 bytes +24 →Semantics: Logical consequence using AWB undo

curprev 01:2901:29, 15 October 2012 Gregbard talk contribs 5,166 bytes +23 added Category:Knowledge using HotCat undo

curprev 13:5813:58, 30 July 2012 204.63.207.110 talk 5,143 bytes +1 →Semantics undo

curprev 19:0119:01, 10 June 2011 Linas talk contribs 5,142 bytes +445 →See also: uncertain inference undo

curprev 20:3420:34, 7 November 2009 128.151.22.93 talk 4,697 bytes −13 No edit summary undo

curprev 00:4700:47, 2 June 2008 218.227.221.253 talk 4,710 bytes +26 →References: +ja undo

curprev 03:4903:49, 22 February 2008 Gregbard talk contribs m 4,684 bytes +4 propositional formula using AWB undo

curprev 12:2612:26, 12 September 2007 Tizio talk contribs m 4,680 bytes +12 rearranged sentence to have "which" refer to sms rather than ael undo

curprev 12:0912:09, 7 September 2007 Logperson talk contribs 4,668 bytes +168 link to stable model semantics undo

curprev 16:5116:51, 4 September 2007 Gregbard talk contribs 4,500 bytes +6 No edit summary undo

curprev 11:3511:35, 26 August 2007 CharlesGillingham talk contribs 4,494 bytes +11 Fixing category hierarchies around Artificial intelligence undo

curprev 22:3822:38, 8 January 2007 66.188.74.214 talk 4,483 bytes −1 →Semantics undo

curprev 18:5818:58, 7 August 2006 Keegan talk contribs 4,484 bytes −16 Stub sorting: You can help! undo

curprev 13:5713:57, 18 July 2006 Bluebot talk contribs 4,500 bytes −7 formatting undo

curprev 14:2914:29, 22 February 2006 Mhss talk contribs m 4,507 bytes −4 →Semantics undo

curprev 14:4214:42, 20 January 2006 Tizio talk contribs 4,511 bytes −10 syntax: added heading undo
curprev 10:3110:31, 20 January 2006 Mhss talk contribs m 4,521 bytes +15 No edit summary undo

Retrieved from "https://en.wikipedia.org/wiki/Autoepistemic_logic"