Vladimir V. Rybakov

According to our database, Vladimir V. Rybakov authored at least 87 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Algorithms for recognizing formulas with none-stable truth values in branching time logic.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

2022

Temporal Multi-Agents' Logics Modelling Dynamic Temporal Accessibility Relations.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

2021

Quantitative Modalities, Possible Applications to Information Analysis.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

2020

Multi-Agent Logic's Modelling Non-Monotonic Information and Reasoning.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

Representation of Information and Satisfiability, Algorithms for Multi-Agent Logics.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

2019

Chance Discovery and Analysis of Data via Multi-Agent Logics.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

2017

Unification for Multi-Agent Temporal Logics with Universal Modality.

Stepan I. Bashmakov, Anna V. Kosheleva, Vladimir V. Rybakov

FLAP, 2017

2016

Non-transitive linear temporal logic and logical knowledge operations.

Vladimir V. Rybakov

J. Log. Comput., 2016

Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility.

Vladimir V. Rybakov

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015

Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility.

Sergei Odintsov, Vladimir V. Rybakov

Logica Universalis, 2015

Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules.

Vladimir V. Rybakov

CoRR, 2015

2014

Projective formulas and unification in linear temporal logic LTL_<i>U</i>.

Vladimir V. Rybakov

Log. J. IGPL, 2014

Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility.

Vladimir V. Rybakov

CoRR, 2014

A Note on Parameterised Knowledge Operations in Temporal Logic.

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

Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules.

Alexandra Lukyanchuk, Vladimir V. Rybakov

CoRR, 2014

Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty.

Vladimir V. Rybakov

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014

2013

Unifiers in transitive modal logics for formulas with coefficients (meta-variables).

Vladimir V. Rybakov

Log. J. IGPL, 2013

Writing out unifiers for formulas with coefficients in intuitionistic logic.

Vladimir V. Rybakov

Log. J. IGPL, 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

Multi-Agent Temporary Logic Based at Non-linear Time and Imitating Uncertainty via Agents' Interaction.

David McLean, Vladimir V. Rybakov

Proceedings of the Artificial Intelligence and Soft Computing, 2013

2012

Writing out Unifiers in Linear Temporal Logic.

Vladimir V. Rybakov

J. Log. Comput., 2012

Logical Analysis for Chance Discovery in Multi-Agents' Environment.

Vladimir V. Rybakov

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal Frames.

Vladimir V. Rybakov

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Multi-Agent Logic based on Temporary Logic TS4_{K_n} serving Web Search.

Vladimir V. Rybakov

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

2011

Inference Rules in Multi-agents' Temporal Logics.

Vladimir V. Rybakov

Trans. Comput. Collect. Intell., 2011

Best Unifiers in Transitive Modal Logics.

Vladimir V. Rybakov

Stud Logica, 2011

Linear Temporal Logic LTL: Basis for Admissible Rules.

Sergey Babenyshev, Vladimir V. Rybakov

J. Log. Comput., 2011

Unification in linear temporal logic LTL.

Sergey Babenyshev, Vladimir V. Rybakov

Ann. Pure Appl. Log., 2011

Chance Discovery and Unification in Linear Modal Logic.

Vladimir V. Rybakov

Proceedings of the Knowlege-Based and Intelligent Information and Engineering Systems, 2011

Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

2010

Logical Analysis of Multi-agent Kripke Structures.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Agent and Multi-agent Technology for Internet and Enterprise Systems, 2010

Rules admissible in transitive temporal logic T_S4, sufficient condition.

Vladimir V. Rybakov

Theor. Comput. Sci., 2010

Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents.

Vladimir V. Rybakov

Int. J. Intell. Inf. Technol., 2010

Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction.

Vladimir V. Rybakov

Int. J. Adv. Intell. Paradigms, 2010

Logics of Kripke meta-models.

Sergey Babenyshev, Vladimir V. Rybakov

Log. J. IGPL, 2010

Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Reasoning and Inference Rules in Basic Linear Temporal Logic <i>BLTL</i>\mathcal{BLTL}.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

A Framework to Compute Inference Rules Valid in Agents' Temporal Logics.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Temporal Logic TL ^Z_ {DU} Modeling Local and Global Discovery with Logical Uncertainty.

Vladimir V. Rybakov

Proceedings of the ICDMW 2010, 2010

Multi-agent Logic with Distances Based on Linear Temporal Frames.

Vladimir V. Rybakov, Sergey Babenyshev

Proceedings of the Artifical Intelligence and Soft Computing, 2010

2009

Linear Temporal Logic LTK_K extended by Multi-Agent Logic K_n with Interacting Agents.

Vladimir V. Rybakov

J. Log. Comput., 2009

Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements.

Vladimir V. Rybakov

Inf. Sci., 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 discovery and knowledge. Decision algorithm.

Sergey Babenyshev, Vladimir V. Rybakov

Intell. Decis. Technol., 2009

A Tableau Method for Checking Rule Admissibility in S4.

Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Temporal Logic for Modeling Discovery and Logical Uncertainty.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

Describing Evolutions of Multi-Agent Systems.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

2008

Branching Time Logics <i>BTL</i>^{U, S}_{N, N^-1}(<i>Z</i>)_a with Operations <i>Until</i> and <i>Since</i> Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms.

Vladimir V. Rybakov

Theory Comput. Syst., 2008

Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification.

Vladimir V. Rybakov

J. Log. Comput., 2008

Temporal logic with interacting agents.

Vladimir V. Rybakov

J. Appl. Non Class. Logics, 2008

Linear temporal logic with until and next, logical consecutions.

Vladimir V. Rybakov

Ann. Pure Appl. Log., 2008

Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

Algorithms for AI Logic of Decisions in Multi-Agent Environment.

Vladimir V. Rybakov, Sergey Babenyshev

Proceedings of the ICEIS 2008, 2008

Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms.

Vladimir V. Rybakov

Proceedings of the Artificial Intelligence and Soft Computing, 2008

Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Logics with the universal modality and admissible consecutions.

Vladimir V. Rybakov

J. Appl. Non Class. Logics, 2007

An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.

Erica Calardo, Vladimir V. Rybakov

Log. J. IGPL, 2007

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous.

Vladimir V. Rybakov

Fundam. Informaticae, 2007

Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.

Vladimir V. Rybakov

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Logic of Discovery in Uncertain Situations- Deciding Algorithms.

Vladimir V. Rybakov

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

2006

Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.

Vladimir V. Rybakov

Proceedings of the Computer Science, 2006

2005

Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals.

Vladimir V. Rybakov

J. Log. Comput., 2005

Logical consecutions in discrete linear temporal logic.

Vladimir V. Rybakov

J. Symb. Log., 2005

Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules.

M. I. Golovanov, Anna V. Kosheleva, Vladimir V. Rybakov

Log. J. IGPL, 2005

Inference in Temporal Next-Time Logic.

Vladimir V. Rybakov

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

Tabular Logics with no Finite Bases for Inference Rules.

Vladimir V. Rybakov

Log. J. IGPL, 2004

2003

Barwise's information frames and modal logics.

Vladimir V. Rybakov

Arch. Math. Log., 2003

Refined common knowledge logics or logics of common information.

Vladimir V. Rybakov

Arch. Math. Log., 2003

2001

Construction of an Explicit Basis for Rules Admissible in Modal System S4.

Vladimir V. Rybakov

Math. Log. Q., 2001

2000

On Self-Admissible Quasi-Characterizing Inference Rules.

Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer

Stud Logica, 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

Unification and passive inference rules for modal logics.

Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer

J. Appl. Non Class. Logics, 2000

1999

On Finite Model Property for Admissible Rules.

Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner

Math. Log. Q., 1999

Independent Bases for Rules Admissible in Pretabular Logics.

Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler

Log. J. IGPL, 1999

Description of Modal Logics Inheriting Admissible Rules for S4.

Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner

Log. J. IGPL, 1999

1997

Quasi-Characteristic Inference Rules for Modal Logics.

Vladimir V. Rybakov

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1995

Hereditarily Structurally Complete Modals Logics.

Vladimir V. Rybakov

J. Symb. Log., 1995

1994

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.

Vladimir V. Rybakov

Stud Logica, 1994

Preserving of Admissible Inference Rules in Modal Logics.

Vladimir V. Rybakov

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Modal Logics Preserving Admissible for S4 Inference Rules.

Vladimir V. Rybakov

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus.

Vladimir V. Rybakov

Math. Log. Q., 1993

1992

A Modal Analog for Glivenko's Theorem and its Applications.

Vladimir V. Rybakov

Notre Dame J. Formal Log., 1992

Rules of Inference with Parameters for Intuitionistic Logic.

Vladimir V. Rybakov

J. Symb. Log., 1992

1990

Logical equations and admissible rules of inference with parameters in modal provability logics.

Vladimir V. Rybakov

Stud Logica, 1990

Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.

Vladimir V. Rybakov

Ann. Pure Appl. Log., 1990