Timeline for Is there a three valued logic whose game semantics corresponds to potentially infinite games?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1, 2019 at 9:43 | answer | added | user21820 | timeline score: 2 | |
| Mar 20, 2019 at 13:49 | comment | added | Emil Jeřábek | It is not difficult to extend Kleene’s logic with quantifiers. | |
| Mar 20, 2019 at 13:36 | history | edited | Christopher King | CC BY-SA 4.0 |
added 235 characters in body
|
| Mar 20, 2019 at 2:50 | history | asked | Christopher King | CC BY-SA 4.0 |