Timeline for Doing reverse mathematics by regarding modal logic as weak first-order logic
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 13, 2022 at 15:59 | comment | added | Colin Tan | I take no offence, Alex. I am grateful for your asking a question that helps to clarify my idea. | |
| Oct 13, 2022 at 14:27 | comment | added | Alex Kruckman | It was just a clarifying question - I didn't mean to suggest your question is naive! I think it's interesting. | |
| Oct 13, 2022 at 14:22 | comment | added | Colin Tan | Alex, thanks for pointing out my naivety. | |
| Oct 13, 2022 at 14:16 | comment | added | Alex Kruckman | In this translation, do you have a pair of modal operators $\square_x$ and $\lozenge_x$ for each variable $x$? | |
| Oct 13, 2022 at 13:22 | history | asked | Colin Tan | CC BY-SA 4.0 |