completare la limitele in care...

[mircea tobosaru <mircea_tobosaru@yahoo.com>]

in ultimul mail am spus ca in astfel de situatii
regula eliminarii identitatii ar putea fi folosita:
(8) #(Capx=y & CaPx) --> ~<>CaPy
Dar de fapt tine si in
(6)(Cax=y & CaPx) --> <>CaPy,
daca consideram ca relatia de accesibilitate este
reflexiva  .astfel intr-un model cu o singura lume
w,vom avea antecedentul la aceasta lume ,dar si <>CaPy
la aceasta lume,deoarece exista o lume posibila la
care CaPy este adevarat,adica w.LA w ~<>CaPy nu
tine,nici alte alternative.Este clar ca pun boii
inaintea carului,adica ca intai ar trebui sa discut
axiomele sisitemului si apoi problema ta,dar ...

__________________________________________________
Do You Yahoo!?
Yahoo! Tax Center - online filing with TurboTax
http://taxes.yahoo.com/