Hi Bruno, >> Goldblatt, Mathematics of Modality > Note that it is advanced stuff for people familiarized with > mathematical logic (it presupposes Mendelson's book, or Boolos & > Jeffrey). > > Two papers in that book are "part" of AUDA: the UDA explain to the > universal machine, and her opinion on the matter.

I would like to add a "guide to AUDA" section on the resources page. Maybe you could specify the core references necessary for understanding the AUDA (if you like and have the time)? Here a first suggestion of what I am thinking of: Boolos Et Al. Computability and Logic. 2002. 4th Edition Chellas. Modal Logic. 1980. Goldblatt, Semantic Analysis of Orthologic and Arithmetical Necessity, Provability and Intuitionistic Logic to be found in Goldblatt, Mathematics of Modality. 1993. What do you think? Best Wishes, Günther --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-l...@googlegroups.com To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---