О логической семантике для системы S5 Льюисатезисы доклада