A valuation semantics for some modal logicsдоклад на конференции