• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Расширенный поиск
«Высшая школа экономики»
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
по году
Тематика
Новости
4 марта 2021
Кто следит за порядком в живой клетке – взгляд физиков
Итальянские и российские исследователи подтвердили гипотезу о том, что  самоподдерживающийся порядок в ядерной (эукариотической) клетке – результат совместного действия двух спонтанных механизмов. Одинаковые молекулы  собираются в «капли» на мембране, а затем отрываются от нее в форме крошечных пузырьков, обогащенных собравшимися вместе молекулами. Статья с результатами исследования опубликована в журнале Physical Review Letters.
3 марта 2021
Большой адронный коллайдер – фабрика открытий новых адронов
Коллаборация одного из экспериментов Большого адронного коллайдера, LHCb, в которую входит также и группа ученых Высшей школы экономики, опубликовала сообщение об открытии новых тетракварков – экзотических адронов, состоящих из четырех кварков. Эти открытия стали возможны благодаря массивным выборкам данных, собранным экспериментом LHCb при помощи алгоритмов, разработанных в ВШЭ.
2 марта 2021
Как канцерофобия и отсутствие культуры общения врача с пациентами мешает борьбе с раком в России
Онкологические заболевания окутаны множеством мифов. Последствия заблуждений и слабой информированности плачевные — запущенные стадии заболевания, ранние смерти. Профилактика и ранняя диагностика рака должны стать рутинными практиками, считают участники круглого стола «От канцерофобии к онконастроженности», организованного в НИУ ВШЭ проектной группой «Онкология и дефициты агентности: автономные практики заботы россиян о себе в условиях кризиса биомедицины».

Глава

Canonical filtrations and local tabularity

P. 498-512.
Shehtman V. B.
Язык: английский
Ключевые слова: modal logicproduct of modal logicsfinite model propertylocal tabularityfiltration methodcanonical model
Похожие публикации
Squares of modal logics with additional connectives
Shehtman V. B. Russian Mathematical Surveys. 2012. Vol. 67. No. 4. P. 721-777.
This paper studies two-dimensional modal logics of a special type, 'Segerberg squares'. They are defined as the usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and the two projections onto the diagonal. For these logics a finite axiomatization is constructed in many cases, and completeness and the finite model property are proved. A translation of Segerberg squares into classical predicate logic is constructed. Bibliography: 21 titles.
Добавлено: 4 февраля 2013
Modal logic of some products of neighbourhood frames
Kudinov A. In bk.: Advances in Modal Logic. Iss. 9. L.: College Publications, 2012. P. 286-294.
Добавлено: 21 февраля 2013
Topological modal logics with difference modality
Kudinov A. In bk.: Advances in Modal Logic, Volume 6. L.: College Publications, 2006. P. 319-332.
Добавлено: 27 февраля 2013
Advances in Modal Logic 2010, Extended Abstracts
Под науч. редакцией: L. D. Beklemishev, V. Goranko, V. B. Shehtman. Vol. 8. L.: College Publications, 2010.
Добавлено: 27 февраля 2013
Topology, Algebra and Categories in Logic (TACL 2011)
Под науч. редакцией: L. Santocanale, N. Olivetti, Y. Lafont. Marseille: 2011.
Добавлено: 27 февраля 2013
Advances in Modal Logic
Под науч. редакцией: T. Bolander, T. Brauner, S. Ghilardi. Iss. 9. L.: College Publications, 2012.

Advances in Modal Logic is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences. Please consult thebackground pages for further details.

Добавлено: 21 февраля 2013
Positive provability logic for uniform reflection principles
Beklemishev L. D. arxiv.org. math. Cornell University, 2013. No.  arXiv:1304.4396.
Добавлено: 22 ноября 2013