• 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
11 October 2019
‘My Time at HSE Was a Turning Point’
HSE master’s programme alumni and an HSE doctoral student received an international Catalyst Grant from Digital Science in support of the development of their startup, MLprior, a service for researchers and scientists. HSE News Service spoke with Vladislav Ishimtsev, one of the startup creators, about the biggest ‘thorns’ in researchers’ sides, artificial intelligence, and the possibility of a machine uprising.
9 October 2019
HSE Advocates for Environmental Transparency
More than 40% of Russian citizens consider changing their place of residence due to environmental problems. This was a statistic cited by Lyaila Sinyatullina, Head of the Department of Advanced Studies at HSE University’s Institute for Public Administration and Governance, at a roundtable dedicated to an environmental information bill that will be reviewed by the Russian State Duma.
8 October 2019
HSE University Brings Major Conference in Philosophical Logic to Russia for the First Time
On October 2-4, HSE University hosted the international conference Trends in Logic 19. Current Issues in Philosophical Logic for the first time in Russia. The conference, which attracted a number of prominent Russian and international scholars, was organized jointly by the journal Studia Logica and the HSE International Laboratory for Logic, Linguistics and Formal Philosophy.

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