Timeline for A Question on Provability Logic and Co-Necessitation
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 15, 2015 at 16:12 | comment | added | Frode Alfson Bjørdal | It may be because it really is a sociological question. | |
| Nov 14, 2015 at 11:59 | comment | added | Emil Jeřábek | The CN rule is admissible in GL, but I don't really understand the rest of the question. | |
| Nov 13, 2015 at 20:15 | history | edited | Frode Alfson Bjørdal | CC BY-SA 3.0 |
deleted 4 characters in body; edited title
|
| Nov 13, 2015 at 19:44 | history | asked | Frode Alfson Bjørdal | CC BY-SA 3.0 |