From: caleb.r.miller@boeing.com   
      
   Hi,   
      
   I'm reading my way through "From Modal Logic to Deductive Databases" by   
   Thayse.   
   In the opening chapter on the universal and existential modal operators, it   
   states on the bottom of page 16 that   
   "if the "universal modal of A then A"   
   is not true in all frames where the "if then" is given by the subset symbol.   
   I'm obviously misunderstanding something about either the symbols or the   
   definitions.   
   Any help would be great.   
      
   Thanks,   
   Caleb   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)