Semantics: Revision history

11 March 2024

• curprev 18:4918:49, 11 March 2024‎ Uakci talk contribs‎ 27,745 bytes −68‎ link to uploaded version of hoemui.pdf

23 July 2023

• curprev 13:5513:55, 23 July 2023‎ Loekıa talk contribs‎ m 27,813 bytes +15‎ better words
• curprev 13:4713:47, 23 July 2023‎ Loekıa talk contribs‎ m 27,798 bytes +4‎ better words
• curprev 03:2303:23, 23 July 2023‎ Loekıa talk contribs‎ m 27,794 bytes −4‎ better word
• curprev 00:0700:07, 23 July 2023‎ Loekıa talk contribs‎ m 27,798 bytes −2‎ better word
• curprev 00:0300:03, 23 July 2023‎ Loekıa talk contribs‎ 27,800 bytes +70‎ clean up the introduction a lil Tag: Visual edit

22 July 2023

• curprev 23:5123:51, 22 July 2023‎ Loekıa talk contribs‎ 27,730 bytes +2,898‎ Write the worlds section Tag: Visual edit
• curprev 20:5120:51, 22 July 2023‎ Loekıa talk contribs‎ 24,832 bytes +1,258‎ Finish the events section Tag: Visual edit
• curprev 03:4903:49, 22 July 2023‎ Loekıa talk contribs‎ 23,574 bytes +2,454‎ Start events section Tag: Visual edit

19 July 2023

• curprev 03:4603:46, 19 July 2023‎ Loekıa talk contribs‎ m 21,120 bytes −1‎ Fix a typo Tag: Visual edit
• curprev 03:4103:41, 19 July 2023‎ Loekıa talk contribs‎ 21,121 bytes +409‎ Mention the special syntax for presuppositions in lambda expressions Tag: Visual edit
• curprev 03:1503:15, 19 July 2023‎ Loekıa talk contribs‎ m 20,712 bytes 0‎ Fix broken anaphora Tag: Visual edit
• curprev 03:1203:12, 19 July 2023‎ Loekıa talk contribs‎ 20,712 bytes +1,956‎ Explain presuppositions Tag: Visual edit

18 July 2023

• curprev 22:0222:02, 18 July 2023‎ Loekıa talk contribs‎ 18,756 bytes +2‎ Use a consistent syntax for restricted quantification Tag: Visual edit
• curprev 18:3718:37, 18 July 2023‎ Loekıa talk contribs‎ 18,754 bytes 0‎ brismu is being worked on again?? update the link Tag: Visual edit

17 July 2023

• curprev 04:0304:03, 17 July 2023‎ Loekıa talk contribs‎ 18,754 bytes +2,579‎ Explain how properties are represented Tag: Visual edit

16 July 2023

• curprev 22:5522:55, 16 July 2023‎ Loekıa talk contribs‎ 16,175 bytes +7‎ Improve wording Tag: Visual edit
• curprev 22:4922:49, 16 July 2023‎ Loekıa talk contribs‎ 16,168 bytes +1,413‎ Cover basic symbols Tag: Visual edit
• curprev 21:2521:25, 16 July 2023‎ Loekıa talk contribs‎ 14,755 bytes +3,812‎ go down the proposition rabbit hole Tag: Visual edit

18 March 2023

• curprev 04:5804:58, 18 March 2023‎ Loekıa talk contribs‎ 10,943 bytes +8‎ fix typoz Tag: Visual edit
• curprev 04:4704:47, 18 March 2023‎ Loekıa talk contribs‎ 10,935 bytes +512‎ propopositionsszzz Tag: Visual edit
• curprev 04:1104:11, 18 March 2023‎ Loekıa talk contribs‎ 10,423 bytes +1,963‎ Progress on the propositions section, mostly Tag: Visual edit

15 March 2023

• curprev 22:5322:53, 15 March 2023‎ Loekıa talk contribs‎ 8,460 bytes +629‎ Finish explaining lambdas Tag: Visual edit
• curprev 20:5120:51, 15 March 2023‎ Loekıa talk contribs‎ 7,831 bytes +823‎ Save my half-finished explanation of lambdas Tag: Visual edit
• curprev 18:2018:20, 15 March 2023‎ Loekıa talk contribs‎ 7,008 bytes +18‎ Add a note to self to explain properties Tag: Visual edit

12 March 2023

• curprev 05:0005:00, 12 March 2023‎ Loekıa talk contribs‎ 6,990 bytes +881‎ Mention non-denotationalist semantics Tag: Visual edit

13 February 2023

• curprev 18:2918:29, 13 February 2023‎ Loekıa talk contribs‎ 6,109 bytes +64‎ Make constants non-italic, like the refgram Tag: Visual edit
• curprev 03:5103:51, 13 February 2023‎ Loekıa talk contribs‎ 6,045 bytes +80‎ Texify MORE Tag: Visual edit
• curprev 03:4603:46, 13 February 2023‎ Loekıa talk contribs‎ 5,965 bytes +43‎ Texify more múao-s Tag: Visual edit
• curprev 03:3203:32, 13 February 2023‎ Mỉ Mỉao ga Nhäqpy talk contribs‎ 5,922 bytes +24‎ THOU HAST BEEN DEFEATED Tag: Visual edit
• curprev 03:3003:30, 13 February 2023‎ Mỉ Mỉao ga Nhäqpy talk contribs‎ 5,898 bytes +79‎ YAY Tag: Visual edit
• curprev 02:5902:59, 13 February 2023‎ Loekıa talk contribs‎ 5,819 bytes +2,990‎ Write most of the semantic calculus section Tag: Visual edit: Switched

12 February 2023

• curprev 22:0622:06, 12 February 2023‎ Mỉ Mỉao ga Nhäqpy talk contribs‎ 2,829 bytes −17‎ use the formula thingy Tag: Visual edit
• curprev 21:3921:39, 12 February 2023‎ Loekıa talk contribs‎ 2,846 bytes +867‎ Finish what I wanted to say about models Tag: Visual edit

22 January 2023

• curprev 19:5119:51, 22 January 2023‎ Loekıa talk contribs‎ 1,979 bytes +31‎ Insert arithmetic model diagram

• curprev 19:4819:48, 22 January 2023‎ Loekıa talk contribs‎ 1,948 bytes +1,948‎ Early WIP Tag: Visual edit