> On 20 May 2019, at 22:15, Jason Resch <[email protected]> wrote: > > > > On Mon, May 20, 2019 at 4:28 AM Bruno Marchal <[email protected] > <mailto:[email protected]>> wrote: > > > (Have you study this: that part took me 30 years of work. It is not obvious, > nor is Goldblatt paper obvious). If you study the work (mine and Goldblatt, > you might make less bold comments, I think). Here you shows some prejudices. > > > > Hi Bruno, > > Could you give me the reference to Goldblatt's paper? It sounds interesting > and tried some searches but couldn't find it.
Hi Jason, GOLDBLATT R. I., 1974, Semantic Analysis of Orthologic, Journal of Philosophical Logic, 3, pp. 19-35. It is also reprinted in his book: GOLDBLATT R. I., 1993, Mathematics of Modality, CCLS Lectures Notes, Stanford, California. That book contains also his GOLDBLATT R., 1978, Arithmetical Necessity, Provability and Intuitionistic Logic, Theoria, Vol 44, pp. 38-46. He discovered, independently of Boolos, the logic of []p & p, that is S4Grz. There are other very interesting papers in that book, notably one on the Diodorean Modalities and their use to formalise Minkowki Space-time, Grothendieck modalities (an interesting notion of “it is locally true that”, etc. But it is not easy stuff, and Goldblatt is as much concise as logicians can be. You will need to revise the Mendelson book. Bruno > > Jason > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/CA%2BBCJUibS-n3wR9Ge3znXmO8kTBGU1ddaABdchkWNmuCUgKBGQ%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CA%2BBCJUibS-n3wR9Ge3znXmO8kTBGU1ddaABdchkWNmuCUgKBGQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/4F5FE71B-5B68-4378-B5A8-D8C04C63F496%40ulb.ac.be.
