IInternal definability and completeness in modal logicInternal definability and completeness in modal logicde Marcus KrachtEdiciones (1)Internal definability and completeness in modal logic (1990)inglésMás obras de Marcus KrachtInterpreted Languages and CompositionalityTools and techniques in modal logicAdvances in modal logic