Timeline for Interpretations of modal logic where $\Box$ means "valid"
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 31, 2020 at 18:31 | comment | added | Andrew Bacon | Thank you! Yes, I was able to find the model of the intuitionistic version, which is partly what inspired the question. | |
| Jul 31, 2020 at 18:26 | vote | accept | Andrew Bacon | ||
| Jul 31, 2020 at 16:44 | comment | added | Emil Jeřábek | By the way, the situation for intuitionistic logic is quite different. For example, the intuitionistic version of the required property holds for the unique 5-element rooted submodel of the Rieger–Nishimura ladder, more or less because its underlying frame does not map p-morphically onto the unique 4-element rooted subframe of the RN ladder. | |
| Jul 31, 2020 at 11:07 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
more details
|
| Jul 31, 2020 at 10:08 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
added 1 character in body
|
| Jul 31, 2020 at 9:13 | history | answered | Emil Jeřábek | CC BY-SA 4.0 |
