• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Advanced search
HSE University
Advanced search
Higher School of Economics
National Research University
Priority areas
by year
Subject
News
16 April 2021
Attention Priority Map Explains Surprising Phenomena of Visual Search
Researchers from HSE University and Harvard University have found that the speed of finding an item with a unique combination of features is not affected by the ease with which these items can be grouped by features. Such results are predicted by theories of parallel attention control. The study is published in the Journal of Vision.
15 April 2021
Life Satisfaction among Young People Linked to Collectivism
The values of collectivism remain important for young people. They promote a sense of loyalty to family and a willingness to accept support from loved ones. Young people who value mutual assistance and a close relationship with others are more satisfied with life, regardless of whether they belong to a collectivist or individualist type of culture.
15 April 2021
Researchers Establish Intracellular Interaction Network in Breast Cancer
HSE University researchers have identified the genes that play a crucial role in breast cancer metastasis. The results of the study were published in the journal PLOS ONE.

Book chapter

Canonical filtrations and local tabularity

P. 498-512.
Shehtman V. B.
The paper deals with a special type of filtration in modal logic called "canonical". This filtration has been known since the 1970s, but was used only occasionally. Applying it in a systematic way allows us to prove new results on finite model property (and in some cases --- local tabularity)  for different polymodal logics. 
Language: English
Keywords: modal logicproduct of modal logicsfinite model propertylocal tabularityfiltration methodcanonical model
Similar publications
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.
Added: Feb 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.

We consider modal logics of products of neighborhood frames and prove that for any pair L and L'  of logics from set {S4, D4, D, T} modal logic of products of L-neighborhood frames and L'-neighborhood frames is the fusion of L and L'.

Added: Feb 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.
Added: Feb 27, 2013
Advances in Modal Logic 2010, Extended Abstracts
Edited by: L. D. Beklemishev, V. Goranko, V. B. Shehtman. Vol. 8. L.: College Publications, 2010.
Added: Feb 27, 2013
Topology, Algebra and Categories in Logic (TACL 2011)
Edited by: L. Santocanale, N. Olivetti, Y. Lafont. Marseille: 2011.
Added: Feb 27, 2013
Advances in Modal Logic
Edited by: 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.

Added: Feb 21, 2013
Positive provability logic for uniform reflection principles
Beklemishev L. D. arxiv.org. math. Cornell University, 2013. No.  arXiv:1304.4396.
We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with modalities labeled by natural numbers and \omega, where \omega corresponds to the full uniform reflection schema, whereas n<\omega corresponds to its restriction to arithmetical \Pi_{n+1}-formulas. This calculus is shown to be complete w.r.t. a suitable class of finite Kripke models and to be decidable in polynomial time.
Added: Nov 22, 2013