Timeline for Yoneda embedding target
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 2, 2010 at 1:12 | comment | added | Andrej Bauer | @Ilya: I suppose Wikipedia is a good starting place, see en.wikipedia.org/wiki/Kripke_semantics, although now I see it claims that Kripke's semantics should not be called "posssible worlds" semantisc. Who knew. @Harry: before you speak, learn the subject. "Possible world" is a specific technical term. | |
| Jan 2, 2010 at 0:39 | comment | added | Harry Gindi | The poset of possible worlds... Sounds vague. | |
| Jan 2, 2010 at 0:31 | comment | added | Ilya Nikokoshev | Do you mind adding some links or background? | |
| Jan 2, 2010 at 0:27 | history | answered | Andrej Bauer | CC BY-SA 2.5 |