Timeline for Literature on Kripke models
Current License: CC BY-SA 3.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 30, 2016 at 8:14 | comment | added | Anders Göransson | I got the article downloaded straight away from the link you provided. It seems to cover all that I hoped for. | |
Sep 29, 2016 at 11:39 | comment | added | Thomas Benjamin | @AndersGöransson: Glad you found this reference helpful. The complete article is at www.gauss.ececs.uc.edu/.... , as referenced above. | |
S Sep 29, 2016 at 10:19 | history | suggested | Mauro ALLEGRANZA | CC BY-SA 3.0 |
Added link to on-line book preview.
|
Sep 29, 2016 at 9:38 | review | Suggested edits | |||
S Sep 29, 2016 at 10:19 | |||||
Sep 29, 2016 at 8:34 | comment | added | Anders Göransson | Thank you for this reference, (the link worked fine) which seems to be to the point for me. | |
Sep 29, 2016 at 7:02 | history | answered | Thomas Benjamin | CC BY-SA 3.0 |