Uproszczona semantyka Kripkego dla normalnych rozszerzeń logik K45, KB4, KD45 i S5доклад на конференции