| Publication | Date of Publication | Type |
|---|
| The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\) | 2024-11-26 | Paper |
| Multi-agent temporal logics, information, unification, and projectivity | 2024-05-15 | Paper |
| Admissibility and unification in the modal logics related to S4.2 | 2024-02-14 | Paper |
| Dynamic temporal logical operations in multi-agent logics | 2023-09-15 | Paper |
| Satisfiability problem in interval FP-logic | 2023-07-12 | Paper |
| Formulas expressing totally nonstable truth values of formulas | 2023-07-12 | Paper |
| Multi-agent logics with dynamic accessibly relations, projective unifiers | 2022-08-22 | Paper |
| Multiagent temporal logics, unification problems, and admissibilities | 2022-08-03 | Paper |
| Satisfiability in Boolean Logic (SAT problem) is polynomial? | 2022-04-21 | Paper |
| Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge | 2022-04-06 | Paper |
| Branching time logics with multiagent temporal accessibility relations | 2021-06-07 | Paper |
| A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length | 2021-04-16 | Paper |
| A Short Essay towards if P not equal NP | 2021-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4966050 | 2021-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4966515 | 2021-03-18 | Paper |
| Multi-agent temporal nontransitive linear logics and the admissibility problem | 2020-12-03 | Paper |
| Multi-agent logics with multi-valuations and intensional logical operations | 2020-10-27 | Paper |
| Temporal logic with accessibility temporal relations generated by time states themselves | 2020-07-21 | Paper |
| Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility | 2020-02-05 | Paper |
| Branching time agents logics, satisfiability problem by rules in reduced form | 2019-10-25 | Paper |
| Multiagent temporal logics with multivaluations | 2018-11-13 | Paper |
| Temporal multi-valued logic with lost worlds in the past | 2018-09-04 | Paper |
| Many-valued multi-modal logics, satisfiability problem | 2018-09-04 | Paper |
| Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms | 2018-02-06 | Paper |
| Non-unifiability in linear temporal logic of knowledge with multi-agent relations | 2017-09-06 | Paper |
| Projective formulas and unification in linear discrete temporal multi-agent logics | 2017-09-06 | Paper |
| Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility | 2017-07-21 | Paper |
| Non-transitive linear temporal logic and logical knowledge operations | 2016-10-07 | Paper |
| A Tableau Method for Checking Rule Admissibility in S4 | 2016-08-05 | Paper |
| Unification problem in Nelson's logic \(\mathbf{N4}\) | 2015-11-18 | Paper |
| Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) | 2015-11-16 | Paper |
| Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation | 2015-09-28 | Paper |
| Inference rules in Nelson's logics, admissibility and weak admissibility | 2015-04-29 | Paper |
| Projective formulas and unification in linear temporal logic LTLU | 2015-02-12 | Paper |
| Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) | 2013-11-29 | Paper |
| Writing out unifiers for formulas with coefficients in intuitionistic logic | 2013-06-11 | Paper |
| Unifiers in transitive modal logics for formulas with coefficients (meta-variables) | 2013-06-11 | Paper |
| Writing out Unifiers in Linear Temporal Logic | 2012-10-19 | Paper |
| Best unifiers in transitive modal logics | 2011-11-23 | Paper |
| Unification in linear temporal logic LTL | 2011-09-22 | Paper |
| Inference Rules in Multi-agents’ Temporal Logics | 2011-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012543 | 2011-07-06 | Paper |
| Linear Temporal Logic LTL: Basis for Admissible Rules | 2011-06-10 | Paper |
| Logics of Kripke meta-models | 2010-12-14 | Paper |
| Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition | 2010-11-19 | Paper |
| Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents | 2010-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3647278 | 2009-11-30 | Paper |
| Decidability: theorems and admissible rules | 2009-11-11 | Paper |
| Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements | 2009-08-14 | Paper |
| Discrete linear temporal logic with current time point clusters, deciding algorithms | 2008-11-10 | Paper |
| Linear temporal logic with until and next, logical consecutions | 2008-09-29 | Paper |
| Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification | 2008-08-15 | Paper |
| Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL | 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 | 2008-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445173 | 2008-03-03 | Paper |
| An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK | 2008-01-14 | Paper |
| Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms | 2008-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3434497 | 2007-05-02 | Paper |
| Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms | 2007-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3435231 | 2007-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3435240 | 2007-04-25 | Paper |
| Logical consecutions in discrete linear temporal logic | 2006-09-06 | Paper |
| Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals | 2006-03-09 | Paper |
| Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules | 2005-09-28 | Paper |
| Tabular Logics with no Finite Bases for Inference Rules | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812329 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474863 | 2004-07-21 | Paper |
| Unification and Passive Inference Rules for Modal Logics | 2004-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438101 | 2003-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438124 | 2003-12-09 | Paper |
| Refined common knowledge logics or logics of common information | 2003-09-16 | Paper |
| Barwise's information frames and modal logics | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4406631 | 2003-06-25 | Paper |
| Construction of an Explicit Basis for Rules Admissible in Modal System S4 | 2002-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530732 | 2002-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4526732 | 2001-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489066 | 2001-06-05 | Paper |
| Independent bases for rules admissible in pretabular logics | 2001-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4526733 | 2001-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4443199 | 2001-01-01 | Paper |
| On self-admissible quasi-characterizing inference rules | 2000-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4517271 | 2000-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501160 | 2000-09-03 | Paper |
| Description of modal logics inheriting admissible rules for S4 | 2000-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4487248 | 2000-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489067 | 2000-07-09 | Paper |
| On Finite Model Property for Admissible Rules | 2000-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250064 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394919 | 1998-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376076 | 1998-02-08 | Paper |
| On admissibility of inference rules in the modal system \(G\) | 1996-08-19 | Paper |
| Hereditarily structurally complete modal logics | 1996-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4875137 | 1996-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4834483 | 1995-05-30 | Paper |
| Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property | 1995-03-05 | Paper |
| Intermediate logics preserving admissible inference rules of heyting calculus | 1995-03-05 | Paper |
| Admissibility of logical inference rules | 1993-11-25 | Paper |
| Rules of inference with parameters for intuitionistic logic | 1993-04-01 | Paper |
| A modal analog for Glivenko's theorem and its applications | 1993-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026933 | 1993-02-21 | Paper |
| Semantic admissibility criteria for deduction rules in S4 and Int | 1992-09-26 | Paper |
| Solvability of logical equations in the modal system Grz and intuitionistic logic | 1992-06-26 | Paper |
| ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY | 1992-06-25 | Paper |
| CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3970454 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3352998 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3352999 | 1991-01-01 | Paper |
| Logical equations and admissible rules of inference with parameters in modal provability logics | 1990-01-01 | Paper |
| Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032232 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3491519 | 1989-01-01 | Paper |
| BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC | 1987-01-01 | Paper |
| DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC | 1987-01-01 | Paper |
| Equations in free topoboolean algebra | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745885 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772177 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4724632 | 1985-01-01 | Paper |
| Elementary theories of free topo-Boolean and pseudo-Boolean algebras | 1985-01-01 | Paper |
| Bases of admissible rules of the logics S4 and Int | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727965 | 1985-01-01 | Paper |
| Decidability of the admissibility problem in layer-finite logics | 1984-01-01 | Paper |
| Admissible rules for logics containing S4.3 | 1984-01-01 | Paper |
| A criterion for admissibility of rules in the modal system S4 and intuitionistic logic | 1984-01-01 | Paper |
| Bases of quasiidentities of finite modal algebras | 1983-01-01 | Paper |
| Completeness of modal logics with prefinite width | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4744318 | 1982-01-01 | Paper |
| Admissible rules for pretable modal logics | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956913 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3950540 | 1981-01-01 | Paper |
| A decidable noncompact extension of the logic S4 | 1979-01-01 | Paper |
| Modal logics with LM-axioms | 1979-01-01 | Paper |
| Noncompact extensions of the logic S4 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206927 | 1978-01-01 | Paper |
| Hereditarily finitely axiomatizable extensions of logic S4 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192037 | 1977-01-01 | Paper |
| A lattice of normal modal logics | 1975-01-01 | Paper |
