Timeline for Understanding the paper: "Guarded Fixed Point Logic"
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 2, 2016 at 13:18 | comment | added | Alberto | (Part 2) Now I have trouble relating the formal definition of parity accepting condition with the intuitive idea of "the existential player can always propose a new witness element and the universal player can test all witnesses without finding a contradiction”. | |
| Sep 2, 2016 at 13:17 | comment | added | Alberto | (Part 1) Thank you for the answer. I would also like to have an intuitive reading of the accepting condition. If I understand correctly: - a move for the existential player means going down one node (i.e. type) in the tree (i.e. tableau). That in turn means “exhibiting a witness” for an existential formula. - a move for the universal player means staying on the same node but changing state. That in turn means “testing an already proposed witness” on an universal formula. | |
| Sep 2, 2016 at 10:47 | history | answered | Szymon Toruńczyk | CC BY-SA 3.0 |