"Eliminating Contextually Defined Predicates in a Modal System" - читать интересную книгу автора (Marcus Ruth Barcan)