• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • The lattice of Belnapian modal logics: Special extensions and counterparts
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
June 5, 2026
‘In the Age of Technology, It Is Interesting to Look into the Past and Think about What We Can Take from It
Polina Tabakova decided to apply for a Philology degree at HSE in Nizhny Novgorod because she grew up in Mari El and did not want to move far away from the Russian forests. In an interview for the Young Scientists of HSE University project, she spoke about the genre of the campus novel, the existential drama of Kolobok, and a blackout version of Eugene Onegin.
June 5, 2026
HSE Scientists Develop Method to Compress Large Language Models Without Losing Quality
Researchers from the AI and Digital Science Institute at the HSE Faculty of Computer Science have developed a new compression method for large language models such as GPT and LLaMA that reduces their size by 25–36% without additional training or significant loss of accuracy. This is the first approach to use mathematical transformations—specifically, rotations of model weights—to make models more amenable to compression with structured matrices. The study results have been published in ACL Findings 2025. The code is available on GitHub.
June 4, 2026
Machine Learning Models Can Help Reduce Volatility and Boost Stock Market Returns
The use of machine learning models makes it possible to achieve greater accuracy in predicting risks in the Russian stock market compared to classical econometric approaches. The predictive power of these models increases by 23%, while the average investor’s return can reach up to 13% per annum. These conclusions were drawn by Nikita Lysenok from the Department of Financial Market Infrastructure at the HSE Faculty of Economic Sciences. The paper has been published in Fundamental and Applied Mathematics.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

The lattice of Belnapian modal logics: Special extensions and counterparts

Logic and Logical Philosophy. 2016. Vol. 25. No. 1. P. 3–33.
Speranski S. O.

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on:

  • introducing the classes (or rather sublattices) of so-called explosive, complete and classical Belnapian modal logics;
  • assigning to every normal modal logic three special conservative extensions in these classes;
  • associating with every Belnapian modal logic its explosive, complete and classical counterparts.

We investigate the relationships between special extensions and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK.

Language: English
DOI
Keywords: strong negationparaconsistent logicalgebraic logic many-valued modal logic
Similar publications
On Belnapian modal algebras: Representations, homomorphisms, congruences, and so on
Speranski S. O., Siberian Electronic Mathematical Reports 2013 Vol. 10 P. 517–534
We obtain a bunch of principal results on Belnapian modal algebras (henceforth called BK-lattices) — these results may serve as a semantical basis for further investigation of the lattice of extensions of Belnapian modal logic (denoted by BK here). ...
Added: December 27, 2025
Belnap–Dunn modal logics: Truth constants vs. truth values
Odintsov S., Speranski S. O., Review of Symbolic Logic 2020 Vol. 13 No. 2 P. 416–435
We shall be concerned with the modal logic BK — which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are ...
Added: December 26, 2025
Hintikka's independence-friendly logic meets Nelson's realizability
Odintsov S., Speranski S. O., Shevchenko I., Studia Logica 2018 Vol. 106 No. 3 P. 637–670
Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation — which extends the famous Kleene’s realizability interpretation by adding ...
Added: December 26, 2025
Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции
Karpenko I., Логические исследования 2023 Т. 29 № 1 С. 9–29
The article questions some of the classical principles of thinking based on traditional intellectual intuition. In particular, the intuitive acceptability of the requirement of consistency, of the “anything follows from a contradiction” principle, of the law of the excluded middle, and some others are under challenge. The literature, especially logical one, devotes many studies to ...
Added: September 19, 2023
A Freedom beyond Conflict: The Logic of Internal Conflict and the Free Will in Maximus the Confessor
Lourié B., Scrinium: Journal of Patrology and Critical Hagiography 2018 Vol. 14 No. 1 P. 63–74
SummaryMaximus’ idea of appropriation of the divine will by deified humans, in any consistent interpretation, would mean their deprivation of their own freedom – exactly in the same manner as it could be in the case of servitude to sin. Maximus’ own logic, however, was paraconsistent when applied to the case of deification (whereas not ...
Added: October 8, 2018
The Logical Legacy of Nikolai Vasiliev and Modern Logic
Markin V., Springer, 2017.
This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ...
Added: June 29, 2018
Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematic
Vasyukov V. L., Logical Investigations 2017 Vol. 23 No. 2 P. 76–95
It is well-known that the concept of da Costa algebra [3] reects most of the logical properties of paraconsistent propositional calculi Cn, 1< n <w introduced by N.C.A.da Costa. In [10] the construction of topos of functors from a small category to the category of sets was proposed which allows to yield the categorical semantics for da Costa's paraconsistent logic. ...
Added: June 29, 2018
L'opposition: analyse sémantique d'une notion flottante
Schang F., (France) 2012 Vol. 13 P. 65–85
A logical theory of oppositions deals with the relation between propositions and their truth values. On the basis of a formal semantics that proceeds by means of questions-answers, three theses are claimed in the following: (1) the concept of opposition usually refers to incompatibility, but our logical analysis focusses upon a broader relation of difference; ...
Added: October 31, 2014
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit