Модальные расширения логических исчислений типа Хао Ванастатья