Timeline for how to determine the condition on frame if some axiom schema is given together with K axiom?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 29, 2011 at 20:53 | comment | added | Andreas Blass | I thought "reflexive, transitive and symmetric" corresponds to S5, not S4. | |
| Sep 15, 2011 at 17:17 | answer | added | Emil Jeřábek | timeline score: 1 | |
| Apr 12, 2011 at 21:45 | comment | added | David Roberts♦ | Could you focus your question a little bit? mathoverflow.net/howtoask | |
| Apr 12, 2011 at 20:24 | history | asked | user14317 | CC BY-SA 3.0 |