Timeline for Natural Deduction in S5 Modal Logic - Introduction and Elimination Rules
Current License: CC BY-SA 4.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 27, 2021 at 14:20 | vote | accept | Matt Dickau | ||
May 27, 2021 at 14:20 | vote | accept | Matt Dickau | ||
May 27, 2021 at 14:20 | |||||
May 27, 2021 at 14:20 | answer | added | Matt Dickau | timeline score: 1 | |
May 25, 2021 at 18:00 | history | tweeted | twitter.com/StackPhilosophy/status/1397251135304617993 | ||
May 22, 2021 at 10:04 | answer | added | Bumble | timeline score: 0 | |
May 22, 2021 at 0:42 | answer | added | Double Knot | timeline score: 0 | |
May 21, 2021 at 23:27 | review | First posts | |||
Jun 4, 2021 at 23:26 | |||||
May 21, 2021 at 23:26 | history | asked | Matt Dickau | CC BY-SA 4.0 |