Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus. - Vladimir V. Rybakov (Ann. Pure Appl. Log., 1990)

Logical equations and admissible rules of inference with parameters in modal provability logics. - Vladimir V. Rybakov (Stud Logica, 1990)

Rules of Inference with Parameters for Intuitionistic Logic. - Vladimir V. Rybakov (J. Symb. Log., 1992)

A Modal Analog for Glivenko's Theorem and its Applications. - Vladimir V. Rybakov (Notre Dame J. Formal Log., 1992)

Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. - Vladimir V. Rybakov (Math. Log. Q., 1993)

Modal Logics Preserving Admissible for S4 Inference Rules. - Vladimir V. Rybakov (CSL, 1994)

Preserving of Admissible Inference Rules in Modal Logics. - Vladimir V. Rybakov (LFCS, 1994)

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. - Vladimir V. Rybakov (Stud Logica, 1994)

Hereditarily Structurally Complete Modals Logics. - Vladimir V. Rybakov (J. Symb. Log., 1995)

Quasi-Characteristic Inference Rules for Modal Logics. - Vladimir V. Rybakov (LFCS, 1997)

Description of Modal Logics Inheriting Admissible Rules for S4. - Vladimir V. Rybakov; Çigdem Gencer; Tahsin Oner (Log. J. IGPL, 1999)

Independent Bases for Rules Admissible in Pretabular Logics. - Vladimir V. Rybakov; Vladimir R. Kiyatkin; Mehmet Terziler (Log. J. IGPL, 1999)

On Finite Model Property for Admissible Rules. - Vladimir R. Kiyatkin; Vladimir V. Rybakov; Tahsin Oner (Math. Log. Q., 1999)

Unification and passive inference rules for modal logics. - Vladimir V. Rybakov; Mehmet Terziler; Çigdem Gencer (J. Appl. Non Class. Logics, 2000)

A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. - Vladimir V. Rybakov; Mehmet Terziler; Vitaliy Remazki (Math. Log. Q., 2000)

On Self-Admissible Quasi-Characterizing Inference Rules. - Vladimir V. Rybakov; Mehmet Terziler; Çigdem Gencer (Stud Logica, 2000)

Construction of an Explicit Basis for Rules Admissible in Modal System S4. - Vladimir V. Rybakov (Math. Log. Q., 2001)

Refined common knowledge logics or logics of common information. - Vladimir V. Rybakov (Arch. Math. Log., 2003)

Barwise's information frames and modal logics. - Vladimir V. Rybakov (Arch. Math. Log., 2003)

Tabular Logics with no Finite Bases for Inference Rules. - Vladimir V. Rybakov (Log. J. IGPL, 2004)

Inference in Temporal Next-Time Logic. - Vladimir V. Rybakov (We Will Show Them! (2), 2005)

Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. - M. I. Golovanov; Anna V. Kosheleva; Vladimir V. Rybakov (Log. J. IGPL, 2005)

Logical consecutions in discrete linear temporal logic. - Vladimir V. Rybakov (J. Symb. Log., 2005)

Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. - Vladimir V. Rybakov (J. Log. Comput., 2005)

Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. - Vladimir V. Rybakov (CSR, 2006)

Logic of Discovery in Uncertain Situations- Deciding Algorithms. - Vladimir V. Rybakov (KES (2), 2007)

Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. - Vladimir V. Rybakov (LFCS, 2007)

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous. - Vladimir V. Rybakov (Fundam. Informaticae, 2007)

An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. - Erica Calardo; Vladimir V. Rybakov (Log. J. IGPL, 2007)

Logics with the universal modality and admissible consecutions. - Vladimir V. Rybakov (J. Appl. Non Class. Logics, 2007)

Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. - Sergey Babenyshev; Vladimir V. Rybakov (CiE, 2008)

Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. - Vladimir V. Rybakov (ICAISC, 2008)

Algorithms for AI Logic of Decisions in Multi-Agent Environment. - Vladimir V. Rybakov; Sergey Babenyshev (ICEIS (2), 2008)

Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. - Sergey Babenyshev; Vladimir V. Rybakov (KES (3), 2008)

Linear temporal logic with until and next, logical consecutions. - Vladimir V. Rybakov (Ann. Pure Appl. Log., 2008)

Temporal logic with interacting agents. - Vladimir V. Rybakov (J. Appl. Non Class. Logics, 2008)

Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification. - Vladimir V. Rybakov (J. Log. Comput., 2008)

Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms. - Vladimir V. Rybakov (Theory Comput. Syst., 2008)

Describing Evolutions of Multi-Agent Systems. - Sergey Babenyshev; Vladimir V. Rybakov (KES (1), 2009)

Temporal Logic for Modeling Discovery and Logical Uncertainty. - Sergey Babenyshev; Vladimir V. Rybakov (KES (2), 2009)

A Tableau Method for Checking Rule Admissibility in S4. - Sergey Babenyshev; Vladimir V. Rybakov; Renate A. Schmidt; Dmitry Tishkovsky (M4M, 2009)

Logic of discovery and knowledge. Decision algorithm. - Sergey Babenyshev; Vladimir V. Rybakov (Intell. Decis. Technol., 2009)

Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms. - Sergey Babenyshev; Vladimir V. Rybakov (Int. J. Intell. Def. Support Syst., 2009)

Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements. - Vladimir V. Rybakov (Inf. Sci., 2009)

Linear Temporal Logic LTKK extended by Multi-Agent Logic Kn with Interacting Agents. - Vladimir V. Rybakov (J. Log. Comput., 2009)

Multi-agent Logic with Distances Based on Linear Temporal Frames. - Vladimir V. Rybakov; Sergey Babenyshev (ICAISC (2), 2010)

Temporal Logic TL ^Z_ {DU} Modeling Local and Global Discovery with Logical Uncertainty. - Vladimir V. Rybakov (ICDM Workshops, 2010)

A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. - Sergey Babenyshev; Vladimir V. Rybakov (KES (1), 2010)

Reasoning and Inference Rules in Basic Linear Temporal Logic BLTL mathcal{BLTL}. - Sergey Babenyshev; Vladimir V. Rybakov (KES (2), 2010)

Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules. - Vladimir V. Rybakov (KES (3), 2010)

Logics of Kripke meta-models. - Sergey Babenyshev; Vladimir V. Rybakov (Log. J. IGPL, 2010)

Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction. - Vladimir V. Rybakov (Int. J. Adv. Intell. Paradigms, 2010)

Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents. - Vladimir V. Rybakov (Int. J. Intell. Inf. Technol., 2010)

Rules admissible in transitive temporal logic TS4, sufficient condition. - Vladimir V. Rybakov (Theor. Comput. Sci., 2010)

Logical Analysis of Multi-agent Kripke Structures. - Sergey Babenyshev; Vladimir V. Rybakov (Agent and Multi-agent Technology for Internet and Enterprise Systems, 2010)

Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions. - Vladimir V. Rybakov (KES (1), 2011)

Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers. - Vladimir V. Rybakov (KES (1), 2011)

Chance Discovery and Unification in Linear Modal Logic. - Vladimir V. Rybakov (KES (2), 2011)

Unification in linear temporal logic LTL. - Sergey Babenyshev; Vladimir V. Rybakov (Ann. Pure Appl. Log., 2011)

Linear Temporal Logic LTL: Basis for Admissible Rules. - Sergey Babenyshev; Vladimir V. Rybakov (J. Log. Comput., 2011)

Best Unifiers in Transitive Modal Logics. - Vladimir V. Rybakov (Stud Logica, 2011)

Inference Rules in Multi-agents' Temporal Logics. - Vladimir V. Rybakov (Trans. Comput. Collect. Intell., 2011)

Multi-Agent Logic based on Temporary Logic TS4Kn serving Web Search. - Vladimir V. Rybakov (KES, 2012)

Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal Frames. - Vladimir V. Rybakov (KES, 2012)

Logical Analysis for Chance Discovery in Multi-Agents' Environment. - Vladimir V. Rybakov (KES, 2012)

Writing out Unifiers in Linear Temporal Logic. - Vladimir V. Rybakov (J. Log. Comput., 2012)

Multi-Agent Temporary Logic Based at Non-linear Time and Imitating Uncertainty via Agents' Interaction. - David McLean 001; Vladimir V. Rybakov (ICAISC (2), 2013)

Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic IPC+. - Sergei Odintsov; Vladimir V. Rybakov (Ann. Pure Appl. Log., 2013)

Writing out unifiers for formulas with coefficients in intuitionistic logic. - Vladimir V. Rybakov (Log. J. IGPL, 2013)

Unifiers in transitive modal logics for formulas with coefficients (meta-variables). - Vladimir V. Rybakov (Log. J. IGPL, 2013)

Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty. - Vladimir V. Rybakov (KES-AMSTA, 2014)

Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules. - Alexandra Lukyanchuk; Vladimir V. Rybakov (CoRR, 2014)

Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction. - Maybin K. Muyeba; Vladimir V. Rybakov (CoRR, 2014)

A Note on Parameterised Knowledge Operations in Temporal Logic. - Vladimir V. Rybakov (CoRR, 2014)

Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility. - Vladimir V. Rybakov (CoRR, 2014)

Projective formulas and unification in linear temporal logic LTLU. - Vladimir V. Rybakov (Log. J. IGPL, 2014)

Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules. - Vladimir V. Rybakov (CoRR, 2015)

Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility. - Sergei Odintsov; Vladimir V. Rybakov (Logica Universalis, 2015)

Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. - Vladimir V. Rybakov (LFCS, 2016)

Non-transitive linear temporal logic and logical knowledge operations. - Vladimir V. Rybakov (J. Log. Comput., 2016)

Unification for Multi-Agent Temporal Logics with Universal Modality. - Stepan I. Bashmakov; Anna V. Kosheleva; Vladimir V. Rybakov (FLAP, 2017)

Chance Discovery and Analysis of Data via Multi-Agent Logics. - Vladimir V. Rybakov (KES, 2019)

Representation of Information and Satisfiability, Algorithms for Multi-Agent Logics. - Vladimir V. Rybakov (KES, 2020)

Multi-Agent Logic's Modelling Non-Monotonic Information and Reasoning. - Vladimir V. Rybakov (KES, 2020)

Quantitative Modalities, Possible Applications to Information Analysis. - Vladimir V. Rybakov (KES, 2021)

Temporal Multi-Agents' Logics Modelling Dynamic Temporal Accessibility Relations. - Vladimir V. Rybakov (KES, 2022)

Temporal Logic in Multi-agent Environment. - Vladimir V. Rybakov (KES-AMSTA, 2022)

Algorithms for recognizing formulas with none-stable truth values in branching time logic. - Vladimir V. Rybakov (KES, 2023)

Multi-agent Modal Logic Evaluating Implicit Information. - Vladimir V. Rybakov (KES-AMSTA, 2023)