| Publication | Date of Publication | Type |
|---|
The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\)
The Bulletin of Irkutsk State University. Series Mathematics | 2024-11-26 | Paper |
Multi-agent temporal logics, information, unification, and projectivity
Algebra and Logic | 2024-05-15 | Paper |
Admissibility and unification in the modal logics related to S4.2
Siberian Mathematical Journal | 2024-02-14 | Paper |
Dynamic temporal logical operations in multi-agent logics
Algebra and Logic | 2023-09-15 | Paper |
Satisfiability problem in interval FP-logic
The Bulletin of Irkutsk State University. Series Mathematics | 2023-07-12 | Paper |
Formulas expressing totally nonstable truth values of formulas
The Bulletin of Irkutsk State University. Series Mathematics | 2023-07-12 | Paper |
Multi-agent logics with dynamic accessibly relations, projective unifiers
Algebra and Logic | 2022-08-22 | Paper |
Multiagent temporal logics, unification problems, and admissibilities
Siberian Mathematical Journal | 2022-08-03 | Paper |
Satisfiability in Boolean logic (SAT problem) is polynomial
Journal of Siberian Federal University. Mathematics & Physics | 2022-04-21 | Paper |
Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
Journal of Siberian Federal University. Mathematics & Physics | 2022-04-06 | Paper |
Branching time logics with multiagent temporal accessibility relations
Siberian Mathematical Journal | 2021-06-07 | Paper |
A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length
Journal of Siberian Federal University. Mathematics & Physics | 2021-04-16 | Paper |
A short essay towards if P not equal NP
Journal of Siberian Federal University. Mathematics & Physics | 2021-04-16 | Paper |
scientific article; zbMATH DE number 7324611 (Why is no real title available?)
| 2021-03-18 | Paper |
scientific article; zbMATH DE number 7325001 (Why is no real title available?)
| 2021-03-18 | Paper |
Multi-agent temporal nontransitive linear logics and the admissibility problem
Algebra and Logic | 2020-12-03 | Paper |
Multi-agent logics with multi-valuations and intensional logical operations
Lobachevskii Journal of Mathematics | 2020-10-27 | Paper |
Temporal logic with accessibility temporal relations generated by time states themselves
Sibirskie Elektronnye Matematicheskie Izvestiya | 2020-07-21 | Paper |
Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
Branching time agents logics, satisfiability problem by rules in reduced form
Sibirskie Elektronnye Matematicheskie Izvestiya | 2019-10-25 | Paper |
Multiagent temporal logics with multivaluations
Siberian Mathematical Journal | 2018-11-13 | Paper |
Temporal multi-valued logic with lost worlds in the past
Sibirskie Elektronnye Matematicheskie Izvestiya | 2018-09-04 | Paper |
Many-valued multi-modal logics, satisfiability problem
Sibirskie Elektronnye Matematicheskie Izvestiya | 2018-09-04 | Paper |
Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
Siberian Mathematical Journal | 2018-02-06 | Paper |
Projective formulas and unification in linear discrete temporal multi-agent logics
Sibirskie Elektronnye Matematicheskie Izvestiya | 2017-09-06 | Paper |
Non-unifiability in linear temporal logic of knowledge with multi-agent relations
Sibirskie Elektronnye Matematicheskie Izvestiya | 2017-09-06 | Paper |
Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
Logical Foundations of Computer Science | 2017-07-21 | Paper |
Non-transitive linear temporal logic and logical knowledge operations
Journal of Logic and Computation | 2016-10-07 | Paper |
A tableau method for checking rule admissibility in S4
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
Unification problem in Nelson's logic \(\mathbf{N4}\)
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-18 | Paper |
Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013)
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-16 | Paper |
Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
Siberian Mathematical Journal | 2015-09-28 | Paper |
Inference rules in Nelson's logics, admissibility and weak admissibility
Logica Universalis | 2015-04-29 | Paper |
Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
Logic Journal of the IGPL | 2015-02-12 | Paper |
Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
Annals of Pure and Applied Logic | 2013-11-29 | Paper |
Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
Logic Journal of the IGPL | 2013-06-11 | Paper |
Writing out unifiers for formulas with coefficients in intuitionistic logic
Logic Journal of the IGPL | 2013-06-11 | Paper |
Writing out Unifiers in Linear Temporal Logic
Journal Of Logic And Computation | 2012-10-19 | Paper |
Best unifiers in transitive modal logics
Studia Logica | 2011-11-23 | Paper |
Unification in linear temporal logic LTL
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
Inference rules in multi-agents' temporal logics
Transactions on Computational Collective Intelligence IV | 2011-07-07 | Paper |
Inference in temporal next-time logic
| 2011-07-06 | Paper |
Linear temporal logic LTL: basis for admissible rules
Journal Of Logic And Computation | 2011-06-10 | Paper |
Logics of Kripke meta-models
Logic Journal of the IGPL | 2010-12-14 | Paper |
Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
Theoretical Computer Science | 2010-11-19 | Paper |
Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
Journal Of Logic And Computation | 2010-01-14 | Paper |
scientific article; zbMATH DE number 5640556 (Why is no real title available?)
| 2009-11-30 | Paper |
Decidability: theorems and admissible rules
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
Information Sciences | 2009-08-14 | Paper |
Discrete linear temporal logic with current time point clusters, deciding algorithms
Logic and Logical Philosophy | 2008-11-10 | Paper |
Linear temporal logic with until and next, logical consecutions
Annals of Pure and Applied Logic | 2008-09-29 | Paper |
Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
Journal Of Logic And Computation | 2008-08-15 | Paper |
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
Logic and Theory of Algorithms | 2008-06-19 | Paper |
Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
Theory of Computing Systems | 2008-06-17 | Paper |
Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous
| 2008-03-03 | Paper |
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
Logic Journal of the IGPL | 2008-01-14 | Paper |
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
| 2007-05-02 | Paper |
Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
Computer Science – Theory and Applications | 2007-05-02 | Paper |
A note on globally admissible inference rules for modal and superintuitionistic logics
| 2007-04-25 | Paper |
Combining time and knowledge, semantic approach
| 2007-04-25 | Paper |
Logical consecutions in discrete linear temporal logic
Journal of Symbolic Logic | 2006-09-06 | Paper |
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
Journal Of Logic And Computation | 2006-03-09 | Paper |
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules
Logic Journal of the IGPL | 2005-09-28 | Paper |
Tabular Logics with no Finite Bases for Inference Rules
Logic Journal of the IGPL | 2005-03-21 | Paper |
scientific article; zbMATH DE number 2097569 (Why is no real title available?)
| 2004-09-07 | Paper |
scientific article; zbMATH DE number 2079050 (Why is no real title available?)
| 2004-07-21 | Paper |
Unification and Passive Inference Rules for Modal Logics
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
scientific article; zbMATH DE number 2015273 (Why is no real title available?)
| 2003-12-09 | Paper |
scientific article; zbMATH DE number 2015293 (Why is no real title available?)
| 2003-12-09 | Paper |
Refined common knowledge logics or logics of common information
Archive for Mathematical Logic | 2003-09-16 | Paper |
Barwise's information frames and modal logics
Archive for Mathematical Logic | 2003-09-16 | Paper |
scientific article; zbMATH DE number 1936763 (Why is no real title available?)
| 2003-06-25 | Paper |
Construction of an explicit basis for rules admissible in modal system S4
Mathematical Logic Quarterly (MLQ) | 2002-07-24 | Paper |
scientific article; zbMATH DE number 1746563 (Why is no real title available?)
| 2002-05-28 | Paper |
scientific article; zbMATH DE number 1556959 (Why is no real title available?)
| 2001-12-03 | Paper |
Describing a basis in semireduced form for inference rules of intuitionistic logic
Algebra i Logika | 2001-10-11 | Paper |
scientific article; zbMATH DE number 1471982 (Why is no real title available?)
| 2001-06-05 | Paper |
Independent bases for rules admissible in pretabular logics
Logic Journal of the IGPL | 2001-03-07 | Paper |
scientific article; zbMATH DE number 1556960 (Why is no real title available?)
| 2001-01-25 | Paper |
scientific article; zbMATH DE number 2024624 (Why is no real title available?)
| 2001-01-01 | Paper |
On self-admissible quasi-characterizing inference rules
Studia Logica | 2000-12-19 | Paper |
scientific article; zbMATH DE number 1534490 (Why is no real title available?)
| 2000-11-21 | Paper |
scientific article; zbMATH DE number 1499106 (Why is no real title available?)
| 2000-09-03 | Paper |
Description of modal logics inheriting admissible rules for S4
Logic Journal of the IGPL | 2000-08-15 | Paper |
scientific article; zbMATH DE number 1463088 (Why is no real title available?)
| 2000-07-24 | Paper |
scientific article; zbMATH DE number 1471983 (Why is no real title available?)
| 2000-07-09 | Paper |
On Finite Model Property for Admissible Rules
Mathematical Logic Quarterly | 2000-06-14 | Paper |
scientific article; zbMATH DE number 1303453 (Why is no real title available?)
| 1999-06-17 | Paper |
scientific article; zbMATH DE number 1163390 (Why is no real title available?)
| 1998-06-11 | Paper |
scientific article; zbMATH DE number 1114355 (Why is no real title available?)
| 1998-02-08 | Paper |
On admissibility of inference rules in the modal system \(G\)
Siberian Advances in Mathematics | 1996-08-19 | Paper |
Hereditarily structurally complete modal logics
Journal of Symbolic Logic | 1996-05-02 | Paper |
scientific article; zbMATH DE number 871868 (Why is no real title available?)
| 1996-04-28 | Paper |
scientific article; zbMATH DE number 759441 (Why is no real title available?)
| 1995-05-30 | Paper |
Intermediate logics preserving admissible inference rules of heyting calculus
Mathematical Logic Quarterly | 1995-03-05 | Paper |
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
Studia Logica | 1995-03-05 | Paper |
Admissibility of logical inference rules
Studies in Logic and the Foundations of Mathematics | 1993-11-25 | Paper |
Rules of inference with parameters for intuitionistic logic
Journal of Symbolic Logic | 1993-04-01 | Paper |
A modal analog for Glivenko's theorem and its applications
Notre Dame Journal of Formal Logic | 1993-02-22 | Paper |
scientific article; zbMATH DE number 125240 (Why is no real title available?)
| 1993-02-21 | Paper |
Semantic admissibility criteria for deduction rules in S4 and Int
Mathematical Notes | 1992-09-26 | Paper |
Solvability of logical equations in the modal system Grz and intuitionistic logic
Siberian Mathematical Journal | 1992-06-26 | Paper |
scientific article; zbMATH DE number 7448 (Why is no real title available?)
| 1992-06-25 | Paper |
CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
Mathematics of the USSR-Izvestiya | 1992-06-25 | Paper |
ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
Mathematics of the USSR-Izvestiya | 1992-06-25 | Paper |
scientific article; zbMATH DE number 4204319 (Why is no real title available?)
| 1991-01-01 | Paper |
scientific article; zbMATH DE number 4204318 (Why is no real title available?)
| 1991-01-01 | Paper |
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Logical equations and admissible rules of inference with parameters in modal provability logics
Studia Logica | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4164801 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4130350 (Why is no real title available?)
| 1989-01-01 | Paper |
DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
Mathematics of the USSR-Izvestiya | 1987-01-01 | Paper |
BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
Mathematics of the USSR-Sbornik | 1987-01-01 | Paper |
Equations in free topoboolean algebra
Algebra and Logic | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3981235 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4031629 (Why is no real title available?)
| 1986-01-01 | Paper |
Bases of admissible rules of the logics S4 and Int
Algebra and Logic | 1985-01-01 | Paper |
Elementary theories of free topo-Boolean and pseudo-Boolean algebras
Mathematical Notes | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3959387 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3997792 (Why is no real title available?)
| 1985-01-01 | Paper |
Admissible rules for logics containing S4.3
Siberian Mathematical Journal | 1984-01-01 | Paper |
A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
Algebra and Logic | 1984-01-01 | Paper |
Decidability of the admissibility problem in layer-finite logics
Algebra and Logic | 1984-01-01 | Paper |
Bases of quasiidentities of finite modal algebras
Algebra and Logic | 1983-01-01 | Paper |
Completeness of modal logics with prefinite width
Mathematical Notes | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3777455 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3799720 (Why is no real title available?)
| 1982-01-01 | Paper |
Admissible rules for pretable modal logics
Algebra and Logic | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3769602 (Why is no real title available?)
| 1981-01-01 | Paper |
A decidable noncompact extension of the logic S4
Algebra and Logic | 1979-01-01 | Paper |
Modal logics with LM-axioms
Algebra and Logic | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3648680 (Why is no real title available?)
| 1978-01-01 | Paper |
Noncompact extensions of the logic S4
Algebra and Logic | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3630717 (Why is no real title available?)
| 1977-01-01 | Paper |
Hereditarily finitely axiomatizable extensions of logic S4
Algebra and Logic | 1977-01-01 | Paper |
A lattice of normal modal logics
Algebra and Logic | 1975-01-01 | Paper |
