Timeline for Does the following variant of common belief exist?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 2, 2022 at 9:37 | comment | added | Arrow | @JukkaKohonen $p$ is any proposition. I have in mind "the next state of a distributed state machine is $S$" so for instance "the next block in a blockchain is $B_k$". | |
| Jun 2, 2022 at 9:01 | comment | added | Jukka Kohonen | What is $p$ in your property? Is there a universal quantifier $\forall p$ in front? | |
| Jun 2, 2022 at 8:51 | history | edited | Arrow | CC BY-SA 4.0 |
added 2 characters in body
|
| May 18, 2022 at 14:18 | history | edited | Arrow |
edited tags
|
|
| May 18, 2022 at 13:12 | history | edited | Arrow | CC BY-SA 4.0 |
added 351 characters in body
|
| May 18, 2022 at 9:51 | history | asked | Arrow | CC BY-SA 4.0 |