Timeline for Modal collapse upon addition of the law of the excluded middle to an Intuitionistic modal logic
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 19, 2022 at 15:03 | answer | added | Peter LeFanu Lumsdaine | timeline score: 1 | |
| Mar 29, 2018 at 12:47 | history | edited | user65526 | CC BY-SA 3.0 |
added 4 characters in body
|
| Mar 28, 2018 at 22:39 | vote | accept | user65526 | ||
| Mar 28, 2018 at 18:58 | answer | added | Bjørn Kjos-Hanssen | timeline score: 2 | |
| Mar 28, 2018 at 18:16 | history | asked | user65526 | CC BY-SA 3.0 |