Timeline for Existence property for second-order propositional logic
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 17, 2023 at 9:22 | comment | added | Anupam Das | No problem! I hope the second part of my answer is nonetheless useful. | |
| Oct 17, 2023 at 5:35 | comment | added | Z. A. K. | Thanks a lot for the answer. Funnily enough, the Pitts quantifier theorem was the main workhorse of the article I was writing that led me to ask the question in the first place, but somehow I still failed to observe its implications for the Harrop case 🫣. | |
| Oct 17, 2023 at 5:30 | vote | accept | Z. A. K. | ||
| S Oct 16, 2023 at 22:16 | review | First answers | |||
| Oct 17, 2023 at 1:29 | |||||
| S Oct 16, 2023 at 22:16 | history | answered | Anupam Das | CC BY-SA 4.0 |