Модификации строгой PR-реализуемости для языка базисной логикидоклад на конференции