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-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sun Jan 25 2009 - 12:48:00 PST