Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
Balbiani Philippe
Соавторы:
Кудинов А.В.
,
Рыбаков М.Н.
,
Шапировский И.Б.
,
Шехтман В.Б.
2 статьи
,
1 тезисы доклада
Количество цитирований статей в журналах по данным Scopus: 7
IstinaResearcherID (IRID): 8265958
Деятельность
Статьи в сборниках
2010
A topological interpretation of public announcement logic
Kudinov Andrey
,
Balbiani Philippe
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 8, с. 386-394
редакторы
Goranko Valentin
,
Беклемишев Лев Дмитриевич
,
Шехтман Валентин Борисович
2006
Every World Can See a Sahlqvist World
Balbiani Philippe
,
Shapirovsky Ilya
,
Shehtman Valentin
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 6, с. 69-85
Тезисы докладов
2017
An axiomatization of iteration-free PDL with loop
Balbiani P.
,
Rybakov M.
в сборнике
XII Tbilisi Symposium of Language, Logic and Computation. Lagodekhi, Georgia, 18–22 September, 2017
, тезисы, с. 49-53