| Publication | Date of Publication | Type |
|---|
Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
Algebra and Logic | 2021-05-20 | Paper |
Nikolai Nikolaevich Nepeivoda. To anniversary
Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki | 2020-06-22 | Paper |
Dummett logic, irreflexive modality and Novikov completeness
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
Irreflexive modality, the Dummett logic, and continual chains
Siberian Mathematical Journal | 2018-07-19 | Paper |
Irreflexive modality as a new logical connective in the Dummett logic
Siberian Mathematical Journal | 2014-11-04 | Paper |
New constants in the superintuitionistic logic L2
Mathematical Notes | 2014-03-26 | Paper |
New constants in two pretabular superintuitionistic logics
Algebra and Logic | 2012-12-17 | Paper |
Finite axiomatizability of local set theory
Mathematical Notes | 2012-03-13 | Paper |
Mathematical model of a state
Doklady Mathematics | 2009-01-19 | Paper |
Branching-time type operators on finite pseudo-Boolean algebras
Algebra and Logic | 2008-12-18 | Paper |
| scientific article; zbMATH DE number 2154087 (Why is no real title available?) | 2005-04-08 | Paper |
| scientific article; zbMATH DE number 2047486 (Why is no real title available?) | 2004-02-29 | Paper |
Modified neighborhood semantics for Kaminski logic
Moscow University Mathematics Bulletin | 2003-09-04 | Paper |
| scientific article; zbMATH DE number 1873426 (Why is no real title available?) | 2003-02-24 | Paper |
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
Journal of Philosophical Logic | 2002-01-06 | Paper |
| scientific article; zbMATH DE number 1567881 (Why is no real title available?) | 2001-02-21 | Paper |
New intuitionistic logical constants and Novikov completeness
Studia Logica | 2000-10-08 | Paper |
On an extension of Gabbay's logic
Siberian Mathematical Journal | 2000-04-13 | Paper |
New solutions to Novikov's problem for intuitionistic connectives
Journal Of Logic And Computation | 1999-06-21 | Paper |
On the number of new logical constants in intuitionistic propositional calculus
Moscow University Mathematics Bulletin | 1999-03-15 | Paper |
Continuality of the family of complete Novikov logics with new monadic connective
Moscow University Mathematics Bulletin | 1999-03-15 | Paper |
On the completeness of a new intuitionistic connective
Mathematical Notes | 1998-06-04 | Paper |
| scientific article; zbMATH DE number 1086684 (Why is no real title available?) | 1998-03-01 | Paper |
A new regular constant in intuitionistic propositional logic
Siberian Mathematical Journal | 1997-06-18 | Paper |
| scientific article; zbMATH DE number 975276 (Why is no real title available?) | 1997-02-04 | Paper |
The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective
Mathematical Notes | 1996-01-08 | Paper |
| scientific article; zbMATH DE number 4118334 (Why is no real title available?) | 1989-01-01 | Paper |
Semantic characterization of certain sets of intuitionistic logical connectives
Mathematical Notes | 1989-01-01 | Paper |
The semantic characterization of modal logical connectives
Mathematical Notes | 1986-01-01 | Paper |
Semantic characterization of intuitionistic logical connectives
Mathematical Notes | 1985-01-01 | Paper |
Completeness of intuitionistic predicate calculus with the concept of ''bar''
Moscow University Mathematics Bulletin | 1984-01-01 | Paper |
Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models
Moscow University Mathematics Bulletin | 1984-01-01 | Paper |
Intuitionistic logical connectives on linear structures
Mathematical Notes | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3777460 (Why is no real title available?) | 1982-01-01 | Paper |
Intuitionistic predicate logic with the connective ''tomorrow''
Moscow University Mathematics Bulletin | 1982-01-01 | Paper |
