Семантика по австралийскому плану для некоторых расширений логики FDEдоклад на конференции