| 2023 | KES | Algorithms for recognizing formulas with none-stable truth values in branching time logic. | Vladimir V. Rybakov |
| 2022 | KES | Temporal Multi-Agents' Logics Modelling Dynamic Temporal Accessibility Relations. | Vladimir V. Rybakov |
| 2021 | KES | Quantitative Modalities, Possible Applications to Information Analysis. | Vladimir V. Rybakov |
| 2020 | KES | Representation of Information and Satisfiability, Algorithms for Multi-Agent Logics. | Vladimir V. Rybakov |
| 2020 | KES | Multi-Agent Logic's Modelling Non-Monotonic Information and Reasoning. | Vladimir V. Rybakov |
| 2019 | KES | Chance Discovery and Analysis of Data via Multi-Agent Logics. | Vladimir V. Rybakov |
| 2016 | LFCS | Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. | Vladimir V. Rybakov |
| 2013 | ICAISC | Multi-Agent Temporary Logic Based at Non-linear Time and Imitating Uncertainty via Agents' Interaction. | David McLean, Vladimir V. Rybakov |
| 2012 | KES | Multi-Agent Logic based on Temporary Logic TS4 | Vladimir V. Rybakov |
| 2012 | KES | Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal Frames. | Vladimir V. Rybakov |
| 2012 | KES | Logical Analysis for Chance Discovery in Multi-Agents' Environment. | Vladimir V. Rybakov |
| 2011 | KES | Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions. | Vladimir V. Rybakov |
| 2011 | KES | Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers. | Vladimir V. Rybakov |
| 2011 | KES | Chance Discovery and Unification in Linear Modal Logic. | Vladimir V. Rybakov |
| 2010 | ICAISC | Multi-agent Logic with Distances Based on Linear Temporal Frames. | Vladimir V. Rybakov, Sergey Babenyshev |
| 2010 | ICDM | Temporal Logic TL ^Z_ {DU} Modeling Local and Global Discovery with Logical Uncertainty. | Vladimir V. Rybakov |
| 2010 | KES | A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2010 | KES | Reasoning and Inference Rules in Basic Linear Temporal Logic | Sergey Babenyshev, Vladimir V. Rybakov |
| 2010 | KES | Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules. | Vladimir V. Rybakov |
| 2009 | KES | Describing Evolutions of Multi-Agent Systems. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2009 | KES | Temporal Logic for Modeling Discovery and Logical Uncertainty. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2008 | CiE | Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2008 | ICAISC | Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. | Vladimir V. Rybakov |
| 2008 | KES | Logic of Discovery and Knowledge: Decision Algorithm. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2008 | KES | Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2007 | KES | Logic of Discovery in Uncertain Situations- Deciding Algorithms. | Vladimir V. Rybakov |
| 2007 | LFCS | Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. | Vladimir V. Rybakov |
| 2006 | CSR | Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. | Vladimir V. Rybakov |
| 1997 | LFCS | Quasi-Characteristic Inference Rules for Modal Logics. | Vladimir V. Rybakov |
| 1994 | CSL | Modal Logics Preserving Admissible for S4 Inference Rules. | Vladimir V. Rybakov |
| 1994 | LFCS | Preserving of Admissible Inference Rules in Modal Logics. | Vladimir V. Rybakov |