Timeline for Literature on Kripke models
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 28, 2016 at 19:09 | answer | added | Bjørn Kjos-Hanssen | timeline score: 3 | |
| Nov 28, 2016 at 17:19 | comment | added | user40276 | Just a caveat. The notion of Kripke semantics as introduced by Kripke himself is not equal to the one commonly used in logic and topos theory. Indeed, the notion of Kripke semantics precedes the notion of forcing as noted in the comments of my question that was tagged in the answer below, however the notion commonly used nowadays was not available (or at least not widely known) when Cohen created the notion of forcing. | |
| Nov 28, 2016 at 10:57 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Oct 29, 2016 at 10:35 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Sep 30, 2016 at 8:16 | comment | added | Anders Göransson | @Mauro ALLEGRANZA: Thank you for these references. I actually need to know about Kripke models for a philosphy course I am attending on reference and acquintance so presumably both Garson and Burgess would be appropriate reading material. That is given the time... | |
| Sep 29, 2016 at 9:41 | comment | added | Mauro ALLEGRANZA | Maybe also Appendix A: Models of John Burgess, Kripke (2012). | |
| Sep 29, 2016 at 9:36 | comment | added | Mauro ALLEGRANZA | May also be useful : John Burgess, Philosophical logic (2009). | |
| Sep 29, 2016 at 9:30 | comment | added | Mauro ALLEGRANZA | Reagrding Intuitionistic Logic, you can see ; Anne Troelstra & Dirk van Dalen, Constructivism in mathematics : An Introduction. Volume 1 (1988). | |
| Sep 29, 2016 at 9:26 | comment | added | Mauro ALLEGRANZA | You can see also an introductory exposition for Modal Logic into : James Garson, Modal Logic for Philosophers (2nd ed, 2013). | |
| Sep 29, 2016 at 7:02 | answer | added | Thomas Benjamin | timeline score: 2 | |
| Sep 28, 2016 at 9:08 | comment | added | Emil Jeřábek | The textbook on modal logic by Chagrov and Zakharyaschev, and the one by Blackburn, De Rijke, and Venema, contain a lot of introductory material on Kripke models, but neither is specifically focused on Kripke models. | |
| Sep 28, 2016 at 8:00 | history | asked | Anders Göransson | CC BY-SA 3.0 |