Skip to main content

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