Диссертации по модальной логике

и близким неклассическим логикам (интуиционистской, временной, динамической)

*) Из них  философских диссертаций (спец. 09.00.07; обведены пунктиром)
ФИО НАЗВАНИЕ ДИССЕРТАЦИИ
РУКОВОДИТЕЛИ
МЕСТО ЗАЩИТЫ
ОППОНЕНТЫ
ВЕДУЩАЯ ОРГАНИЗАЦИЯ
2012
Д.С.Шамканов Данияр Салкарбекович [•] Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики
д.ф.-м.н., чл.-корр. РАН Л.Д.Беклемишев, к.ф.-м.н., доц. В.Н.Крупский
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. В.П.Оревков, к.ф.-м.н. И.Б.Шапировский
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Е.В.Дашков Евгений Владимирович [•] О пропозициональных исчислениях, представляющих понятие доказуемости
д.ф.-м.н, чл.-корр. РАН Л.Д.Беклемишев
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н., проф. С.Н.Артёмов, к.ф.-м.н., с.н.с. И.Б.Шапировский
Институт математики им. С.Л.Соболева Сибирского отделения РАН
2011
2010
О.Ю.Гончарко Оксана Юрьевна [•] Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимости
д.филос.н., проф. Я.Н.Слинин
Философский факультет Санкт-Петербургского государственного университета
д.филос.н., проф. В.А.Светлов, к.филос.н., доц. Т.А.Новолодская
Санкт-Петербургский университет Министерства внутренних дел РФ
А.В.Карпенко Анастасия Валерьевна [•] Интерполяционные свойства в слабо транзитивных модальных логиках
д.ф.-м.н., проф. Л.Л.Максимова
Новосибирский государственный университет
д.ф.-м.н. Д.Е.Пальчунов, к.ф.-м.н., доц. П.А.Шрайнер
Сибирский федеральный университет
С.П.Кикоть Станислав Павлович [•] О модальных логиках элементарных классов шкал Крипке
проф. В.Б.Шехтман
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н., проф. Л.Л.Максимова, к.ф.-м.н., доц. М.Н.Рыбаков
Математический институт им. В.А.Стеклова РАН
П.А.Шапчиц Павел Анатольевич [•] Интервальная временная логика и грамматические времена
д.филос.н., проф. Э.Ф.Караваев
Философский факультет Санкт-Петербургского государственного университета
д.филос.н., проф. Г.Л.Тульчинский, к.филос.н., доц. В.В.Беляев
Санкт-Петербургский университет Министерства внутренних дел РФ
2009
2008
А.В.Кудинов Андрей Валерьевич [•] Топологические модальные логики с модальностью неравенства
д.ф.-м.н., проф. В.Б.Шехтман
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н., проф. А.В.Чагров, к.ф.-м.н. Р.Э.Яворский
Институт математики им. С.Л.Соболева Сибирского отделения РАН
2007
А.В.Кошелева Анна Владимировна [•] Правила вывода многомодальных логик
д.ф.-м.н., проф. В.В.Рыбаков
Институт естественных и гуманитарных наук Сибирского федерального университета
д.ф.-м.н., проф. А.Д.Яшин, к.ф.-м.н., доц. В.В.Римацкий
Институт математики им. С.Л.Соболева Сибирского отделения РАН
С.П.Одинцов Сергей Павлович [•] Конструктивные отрицания и паранепротиворечивость
Институт математики им. С.Л.Соболева Сибирского отделения РАН
чл.-корр. РАН, д.ф.-м.н., проф. Л.Д.Беклемишев, д.ф.-м.н., проф. Л.Л.Максимова, д.ф.-м.н., проф. А.В.Чагров
Красноярский государственный университет
И.Б.Шапировский Илья Борисович [•] Алгоритмические свойства модальных логик информационных систем
д.ф.-м.н., проф. В.Б.Шехтман
Институт проблем передачи информации РАН
д.ф.-м.н., проф. М.Р.Пентус, к.ф.-м.н., доц. М.Н.Рыбаков
Математический институт им. В.А.Стеклова РАН
2006
И.А.Горбунов Игорь Анатольевич [•] Модальные квазинормальные логики без независимой аксиоматизации
д.ф.-м.н., проф. А.В.Чагров
Тверской государственный университет
д.ф.-м.н., проф. М.В.Захарьящев, к.ф.-м.н., доц. С.М.Дудаков
Красноярский государственный университет
А.Г.Кравцов Алексей Геннадиевич [•] О некоторых классах многомерных модальных логик
д.ф.-м.н., проф. В.Б.Шехтман
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н., проф. А.В.Чагров, к.ф.-м.н., доц. Ан.А.Мучник
Математический институт им. В.А.Стеклова РАН
Н.В.Крупский Николай Владимирович [•] Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов
д.ф.-м.н., проф. В.А.Успенский
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. Л.Д.Беклемишев, к.ф.-м.н. М.В.Вьюгин
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
В.Б.Новосельцев Виталий Борисович [•] Формальная теория структурных моделей описания информационных систем и методы установления выводимости
Томский государственный университет
д.ф.-м.н., проф. А.А.Жданов, д.тех.н., проф. А.Ю.Матросова, д.ф.-м.н., проф. С.В.Тимченко
Институт математики им. С.Л.Соболева Сибирского отделения РАН
М.В.Стукачева Марина Викторовна [•] Дизъюнктивное свойство и канонические формулы в классе расширений минимальной логики
д.ф.-м.н. Н.В.Белякин, к.ф.-м.н. С.П.Одинцов
Институт математики им. С.Л.Соболева Сибирского отделения РАН
д.ф.-м.н., проф. А.И.Будкин, к.ф.-м.н., доц. П.А.Шрайнер
Новосибирский государственный технический университет
Д.П.Шкатов Дмитрий Петрович [•] Модальные логики с нестандартными модальностями
д.ф.н. В.И.Маркин
Институт философии РАН
д.ф.н. Е.Е.Ледников, к.ф.н. Д.В.Зайцев
Философский факультет Санкт-Петербургского государственного университета
2005
О.А.Антонова Ольга Аркадьевна [•] Современные проблемы использования табличных методов в логике
д.филос.н., проф. Я.Н.Слинин
Философский факультет Санкт-Петербургского государственного университета
д.филос.н., проф. Е.Е.Ледников, д.филос.н., проф. З.О.Джалишвили, д.филос.н., проф. С.С.Гусев
Санкт-Петербургский государственный университет точной механики и оптики
Д.С.Ларионов Дмитрий Сергеевич [•] Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах
д.т.н., проф. В.К.Погребной
Томский политехнический университет
д.т.н., проф. В.А.Силич, к.ф.-м.н., доц. В.В.Бурлуцкий
Институт математики им. С.Л.Соболева Сибирского отделения РАН
М.Н.Рыбаков Михаил Николаевич [•] Сложность пропозициональных логик с конечным числом переменных
д.ф.-м.н., проф. А.В.Чагров
Тверской государственный университет
д.ф.-м.н., проф. В.Б.Шехтман, к.ф.-м.н. Р.Э.Яворский
Красноярский государственный университет
Р.В.Хелемендик Роман Викторович [•] Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение
д.ф.-м.н. Ю.И.Янов
Институт прикладной математики им. М.В.Келдыша РАН
д.ф.-м.н. к.ф.-м.н.
2004
О.М.Григорьев Олег Михайлович [•] Аналитико-табличная формализация систем временной логики
Философский факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. к.ф.-м.н.
Е.М.Юрасова [•] Допустимые и выводимые правила вывода в нестандартных логиках
д.ф.-м.н., проф. В.В.Рыбаков
Красноярский государственный университет
д.ф.-м.н., проф. А.Д.Яшин, к.ф.-м.н. С.В.Бабенышев
Институт математики им. С.Л.Соболева Сибирского отделения РАН
2003
В.Ф.Мурзина Вета Федоровна [•] Модальные логики, основанные на α-пространствах
д.ф.-м.н., проф. Л.Л.Максимова
Институт математики им. С.Л.Соболева Сибирского отделения РАН
д.ф.-м.н., проф. Д.Е.Пальчунов, к.ф.-м.н., доц. П.А.Шрайер
Красноярский государственный университет
2002
Е.Е.Золин Евгений Евгеньевич [•] Модальные логики с оператором разрешимости
д.ф.-м.н., проф. С.Н.Артёмов, д.ф.-м.н., проф. В.А.Успенский
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. А.В.Чагров, к.ф.-м.н. В.Х.Хаханян
Новосибирский государственный университет
А.Н.Руцкий Алексей Николаевич [•] Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках
д.ф.-м.н., проф. В.В.Рыбаков
Красноярский государственный университет
д.ф.-м.н., с.н.с. С.И.Мардаев, к.ф.-м.н., проф. С.В.Ларин
Иркутский государственный университет
Б.Р.Федоришин Богдан Романович [•] Исследование правил вывода в нестандартных логиках
д.ф.-м.н., проф. В.В.Рыбаков
Красноярский государственный университет
д.ф.-м.н., с.н.с. С.И.Мардаев, к.ф.-м.н. В.В.Римацкий
Иркутский государственный университет
2001
Н.Л.Архиереев Николай Львович [•] Семантики ограниченных множеств описаний состояний
д.филос.н., проф. Ю.В.Ивлев
Философский факультет МГУ им. М.В.Ломоносова
д.филос.н. К.И.Бахтияров, к.филос.н. Е.В.Фримучкова
Институт философии РАН
В.В.Бурлуцкий Владимир Владимирович [•] Реализация обратного метода установления выводимости для модальной логики KT
к.ф.-м.н., доц. В.Б.Новосельцев
Томский государственный университет
д.т.н., проф. А.Ю.Матросова, д.ф.-м.н., проф. С.П.Гулько
Институт системного программирования РАН, Москва
С.М.Кускова Светлана Михайловна [•] Учение Аристотеля о модальности
д.филос.н., проф. В.А.Бочаров
Философский факультет МГУ им. М.В.Ломоносова
д.филос.н. В.Г.Кузнецов, к.филос.н. Т.П.Костюк
Институт философии РАН, сектор логики
С.И.Мардаев Сергей Ильич [•] Неподвижные точки модальных операторов
д.ф.-м.н., проф. Л.Л.Максимова
Институт математики им. С.Л.Соболева Сибирского отделения РАН
д.ф.-м.н., проф. Д.Е.Пальчунов, д.ф.-м.н., проф. А.Г.Пинус, д.ф.-м.н., проф. А.В.Чагров
Красноярский государственный университет
М.С.Шеремет Михаил Сергеевич [•] Квазимногообразия частичных алгебр
д.ф.-м.н., проф. В.А.Горбунов, д.ф.-м.н., проф. Л.Л.Максимова
Новосибирский государственный университет
д.ф.-м.н. к.ф.-м.н.
2000
С.А.Павлов Сергей Афанасьевич [•] Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта
д.филос.н. А.С.Карпенко
Институт философии РАН
д.филос.н. Е.Е.Ледников, к.филос.н. В.М.Попов
Кафедра логики философского факультета МГУ
В.В.Римацкий Виталий Валентинович [•] Допустимые правила вывода в нестандартных логиках и их базисы
д.ф.-м.н., проф. В.В.Рыбаков
Красноярский государственный университет
д.ф.-м.н., проф. Б.В.Яковлев, к.ф.-м.н. П.А.Шрайнер
Иркутский государственный университет
В.Б.Шехтман Валентин Борисович [•] Модальные логики топологических пространств
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. М.В.Захарьящев, д.ф.-м.н. В.И.Пономарев, д.ф.-м.н. А.В.Чагров
Институт математики Сибирского отделения АН СССР
1999
В.Р.Кияткин Владимир Ростиславович [•] Исследование правил вывода в модальных логиках, расширяющих S4
д.ф.-м.н., проф. В.В.Рыбаков
Красноярский государственный университет
д.ф.-м.н., проф. В.В.Беляев, к.ф.-м.н., доц. С.И.Мардаев
Иркутский государственный университет
Д.Е.Тишковский Дмитрий Евгеньевич [•] Алгебраизация суперинтуиционистских предикатных логик
д.ф.-м.н., проф. Л.Л.Максимова
Институт математики им. С.Л.Соболева Сибирского отделения РАН
д.ф.-м.н. к.ф.-м.н.
А.Д.Яшин Александр Данилович [•] Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками
д.ф.-м.н., проф. С.Н.Артёмов
Удмуртский государственный университет, Ижевск
д.ф.-м.н., проф. Д.Е.Пальчунов, д.ф.-м.н., проф. В.В.Рыбаков, д.ф.-м.н., проф. М.В.Захарьящев
Институт проблем передачи информации РАН, Москва
1998
Ю.В.Безгачева Юлия Викторовна [•] Приложение семантики Крипке к исследованию правил вывода
д.ф.-м.н., проф. В.В.Рыбаков
Красноярский государственный университет
д.ф.-м.н., проф. В.В.Беляев, д.ф.-м.н., проф. Д.Е.Пальчунов
Иркутский государственный университет
М.В.Захарьящев Михаил Викторович [•] Метод канонических формул и его применение в модальной логике
Институт прикладной математики им. М.В.Келдыша РАН
д.ф.-м.н., проф. Н.К.Косовский, д.ф.-м.н., проф. Л.Л.Максимова, д.ф.-м.н., проф. В.Л.Селиванов
Вычислительный центр РАН
А.В.Чагров Александр Васильевич [•] Моделирование вычислительных процессов средствами пропозициональных логик
Институт проблем передачи информации РАН
акад. РАН, д.ф.-м.н., проф. Ю.И.Журавлев, д.ф.-м.н., проф. М.А.Тайцлин, д.ф.-м.н., проф. Е.М.Вениаминов
Институт прикладной математики им. М.В.Келдыша РАН
П.А.Шрайнер Павел Александрович [•] Интерполяция и определимость в логиках конечных областей
д.ф.-м.н., проф. Л.Л.Максимова
Новосибирский государственный университет
д.ф.-м.н. Д.Е.Пальчунов, д.ф.-м.н. А.Г.Пинус
Красноярский государственный университет
1997
Т.Л.Сидон Татьяна Леонидовна (Яворская) [•] Динамические логики доказательств с оператором доказуемости
д.ф.-м.н., проф. С.Н.Артёмов
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н., проф. В.П.Оревков, к.ф.-м.н. Л.Д.Беклемишев
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Е.В.Фримучкова Екатерина Владимировна [•] Полимодальные фрагменты временных логик
д.филос.н. В.А.Смирнов
Философский факультет МГУ им. М.В.Ломоносова
д.филос.н. В.Г.Кузнецов, к.филос.н. И.А.Герасимова
Московский государственный педагогический университет
1996
1995
С.В.Бабенышев Сергей Валерьевич [•] Исследования допустимых правил в нестандартных логиках
В.В.Рыбаков
д.ф.-м.н. к.ф.-м.н.
В.И.Хомич Валентин Иванович [•] Проблема отделимости в пропозициональных исчислениях
д.ф.-м.н. к.ф.-м.н.
1994
И.П.Голованова Ирина Павловна [•] Точечные и интервальные семантики для модальных и временных систем
д.ф.-м.н. к.ф.-м.н.
О.Ю.Карпинская Ольга Юрьевна [•] Многомерные семантики временной и модально-временной логик
д.ф.-м.н. к.ф.-м.н.
1993
В.П.Мухачев Виктор Павлович [•] Генценовские методы в логике
Санкт-Петербург
д.ф.-м.н. к.ф.-м.н.
1992
Л.Д.Беклемишев Лев Дмитриевич [•] Классификация пропозициональных логик доказуемости
чл.-корр. РАН, д.ф.-м.н. С.И.Адян, д.ф.-м.н., проф. С.Н.Артёмов
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. В.П.Оревков, к.ф.-м.н. В.Е.Плиско
Институт математики им. С.Л.Соболева Сибирского отделения РАН
И.Г.Симонова Ирина Гаяновна [•] Доказуемостно-интуиционистская логика и ее расширения
д.ф.-м.н. А.В.Кузнецов, д.ф.-м.н. А.Ю.Муравицкий
Институт математики с вычислительным центром Академии наук Молдовы
д.ф.-м.н. к.ф.-м.н.
1991
1990
Н.А.Панкратьев Николай Анатольевич [•] Об исчислении предикатов и арифметике с оператором доказуемости
проф. В.А.Успенский, проф. С.Н.Артёмов
1989
Л.А.Чагрова Лидия (Лилия?) Алексеевна [•] О проблеме определимости пропозиционных формул интуиционистской логики формулами классической логики первого порядка
М.И.Канович
Калининский государственный университет
д.ф.-м.н. к.ф.-м.н.
1988
С.Н.Артёмов Сергей Николаевич [•] Вопросы аксиоматизируемости и полноты модальных логик доказуемости
Математический институт им. В.А.Стеклова АН СССР
1987
Г.К.Джапаридзе Giorgi K. Japaridze [•] Модально-логические средства исследования доказуемости
С.Н.Артёмов
И.Д.Заславский Игорь Дмитриевич [•] Симметрическая конструктивная логика и некоторые ее приложения
Ленинградский государственный университет им. А.А.Жданова
д.ф.-м.н. А.О.Слисенко, д.ф.-м.н. А.Л.Семёнов, д.ф.-м.н. Л.Л.Максимова
Московский государственный университет им. М.В.Ломоносова
С.И.Мардаев Сергей Ильич [•] Суперинтуиционистские логики с условиями финитности
Л.Л.Максимова
д.ф.-м.н. к.ф.-м.н.
В.В.Рыбаков Владимир Владимирович [•] ?
Институт математики Сибирского отделения АН СССР
д.ф.-м.н., проф. д.ф.-м.н., проф. д.ф.-м.н., проф.
А.В.Чагров Александр Васильевич [•] Сложность аппроксимируемости модальных и суперинтуиционистских логик
к.ф.-м.н., доц. М.И.Канович
Калининский государственный университет
д.ф.н. В.А.Смирнов, к.ф.-м.н. С.Н.Артёмов
Красноярский государственный университет
1986
Л.Л.Максимова Лариса Львовна [•] Разрешимые свойства суперинтуиционистских и модальных логик
Институт математики Сибирского отделения АН СССР
д.ф.-м.н., проф. д.ф.-м.н., проф. д.ф.-м.н., проф.
Ю.Сакалаускайте Юрат (Jurate Sakalauskaite) [•] Полнота пропозициональной динамической логики с бесконечным повторением
Р.А.Плюшкевичус
Математический институт им. В.А.Стеклова АН СССР
д.ф.-м.н. к.ф.-м.н.
1985
М.В.Захарьящев Михаил Викторович [•] Синтакс и семантика суперинтуиционистских и модальных логик
Ю.И.Янов
Институт математики Сибирского отделения АН СССР
А.Д.Тайманов, В.В.Рыбаков
?
А.Ю.Муравицкий Алексей Юрьевич [•] Логика доказуемости и доказуемостно-интуиционистская логика
к.ф.-м.н., с.н.с. А.В.Кузнецов
Институт математики Академии Наук Молдавской ССР
В.Б.Шехтман Валентин Борисович [•] Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик
чл.-корр. АН СССР А.А.Марков
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
1984
В.И.Маркин Владимир Ильич [•] Логико-семантический анализ внутренних модальностей
д.филос.н., проф. Е.К.Войшвилло
Философский факультет МГУ им. М.В.Ломоносова
А.А.Шум Александр Анатольевич [•] Пропозициональные исчисления и относительные многообразия алгебраических систем
проф. В.А.Успенский
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. С.С.Гончаров, к.ф.-м.н. В.Е.Плиско
Институт математики Сибирского отделения АН СССР
1983
М.И.Верхозина Маргарита Ильинична [•] Вопросы отделимости и фрагментные логики
к.ф.-м.н. Л.Л.Максимова
Иркутский государственный университет
д.ф.-м.н. к.ф.-м.н.
В.И.Курбатов Владимир Иванович [•] Действия и нормы: исследование по логике деонтических модальностей
к.филос.н., доц. А.А.Старченко
Философский факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. к.ф.-м.н.
1982
1981
1980
1979
С.Н.Артёмов Сергей Николаевич [•] Расширения аксиоматических теорий утверждениями типа непротиворечивости и соответствующие им модальные логики
чл.-корр. АН СССР, проф. А.А.Марков, к.ф.-м.н., доц. А.Г.Драгалин
Математический институт им. В.А.Стеклова АН СССР
д.ф.-м.н., проф Н.А.Шанин, к.ф.-м.н. В.Е.Плиско
Московский государственный педагогический институт им. В.И.Ленина, математический факультет
В.В.Рыбаков Владимир Владимирович [•] К теории модальных логик
д.ф.-м.н. Д.М.Смирнов, к.ф.-м.н. Л.Л.Максимова
Новосибирский государственный университет
д.ф.-м.н. А.Д.Тайманов, к.ф.-м.н. С.К.Соболев
Институт математики с вычислительным центром Академии наук Молдавской ССР
В.Х.Сотиров Владимир Христов [•] Модальные теории с интуиционистской логикой
проф. В.А.Успенский, А.Г.Драгалин
Механико-математический факультет МГУ им. М.В.Ломоносова
А.И.Циткин Александр Ильич [•] Правила вывода, допустимые в суперинтуиционистских логиках
к.ф.-м.н. А.В.Кузнецов
Институт математики Академии наук Молдавской ССР
д.ф.-м.н. к.ф.-м.н.
Л.Л.Эсакиа Лео Леонидович [•] Семантический анализ суперинтуиционистских логик и нормальных расширений модальной системы S4
?
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н. к.ф.-м.н.
1978
1977
1976
В.Ю.Месхи Вячеслав Юрьевич [•] К теории моделей логических исчислений с временными операторами
акад. АН СССР, д.ф.м.н., проф. В.В.Чавчанидзе
Московский государственный педагогический институт им. В.И.Ленина
д.ф.-м.н., проф. А.В.Гладкий, к.ф.-м.н. Г.Е.Минц
Институт математики Сибирского отделения АН СССР
1975
1974
1973
В.Я.Герчиу Владимир Яковлевич [•] Вопросы финитной аппроксимируемости суперинтуиционистских логик высказываний
к.ф.-м.н. А.В.Кузнецов
Математический институт им. В.А.Стеклова АН СССР
д.ф.-м.н.
1972
1971
1970
1968
Л.Л.Максимова Лариса Львовна [•] Логические исчисления строгой импликации
проф. А.И.Мальцев
Новосибирский государственный университет
д.ф.-м.н. к.ф.-м.н.
1967
Р.А.Плюшкевичус Регимантас Рикардас [•] Секвенциальные исчисления конструктивной логики без структурных правил вывода для нормальных формул
Г.Е.Минц, В.Матулис
д.ф.-м.н. к.ф.-м.н.


Наведя мышку на фамилию соискателя, можно увидеть его имя / отчество.
Наведя мышку на руководителя или оппонента, можно увидеть его звание, имя, отчество.

Исправления и дополнения присылайте: ezolin [жучка] yandex.ru
(догадайтесь, какой знак поставить вместо жучки).
HTML 4.01   CSS 3