Vladimir V. Rybakov

91 papers B 10C 1Misc 6Journal 52Unranked 20

Year	Rank	Type	Title / Venue / Authors
2023	B	`conf`	Algorithms for recognizing formulas with none-stable truth values in branching time logic. KES Vladimir V. Rybakov
2023	—	`conf`	Multi-agent Modal Logic Evaluating Implicit Information. KES-AMSTA Vladimir V. Rybakov
2022	—	`conf`	Temporal Logic in Multi-agent Environment. KES-AMSTA Vladimir V. Rybakov
2022	B	`conf`	Temporal Multi-Agents' Logics Modelling Dynamic Temporal Accessibility Relations. KES Vladimir V. Rybakov
2021	B	`conf`	Quantitative Modalities, Possible Applications to Information Analysis. KES Vladimir V. Rybakov
2020	B	`conf`	Multi-Agent Logic's Modelling Non-Monotonic Information and Reasoning. KES Vladimir V. Rybakov
2020	B	`conf`	Representation of Information and Satisfiability, Algorithms for Multi-Agent Logics. KES Vladimir V. Rybakov
2019	B	`conf`	Chance Discovery and Analysis of Data via Multi-Agent Logics. KES Vladimir V. Rybakov
2017	J	`jnl`	Unification for Multi-Agent Temporal Logics with Universal Modality. FLAP Stepan I. Bashmakov, Anna V. Kosheleva, Vladimir V. Rybakov
2016	Misc	`conf`	Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. LFCS Vladimir V. Rybakov
2016	J	`jnl`	Non-transitive linear temporal logic and logical knowledge operations. J. Log. Comput. Vladimir V. Rybakov
2015	J	`jnl`	Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility. Logica Universalis Sergei Odintsov, Vladimir V. Rybakov
2015	J	`jnl`	Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules. CoRR Vladimir V. Rybakov
2014	J	`jnl`	A Note on Parameterised Knowledge Operations in Temporal Logic. CoRR Vladimir V. Rybakov
2014	J	`jnl`	Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction. CoRR Maybin K. Muyeba, Vladimir V. Rybakov
2014	J	`jnl`	Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules. CoRR Alexandra Lukyanchuk, Vladimir V. Rybakov
2014	J	`jnl`	Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility. CoRR Vladimir V. Rybakov
2014	—	`conf`	Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty. KES-AMSTA Vladimir V. Rybakov
2014	J	`jnl`	Projective formulas and unification in linear temporal logic LTL Log. J. IGPL Vladimir V. Rybakov
2014	—	`ed.`	UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 UNIF Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov
2013	—	`conf`	Multi-Agent Temporary Logic Based at Non-linear Time and Imitating Uncertainty via Agents' Interaction. ICAISC (2) David McLean, Vladimir V. Rybakov
2013	J	`jnl`	Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic IPC Ann. Pure Appl. Log. Sergei Odintsov, Vladimir V. Rybakov
2013	J	`jnl`	Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Log. J. IGPL Vladimir V. Rybakov
2013	J	`jnl`	Writing out unifiers for formulas with coefficients in intuitionistic logic. Log. J. IGPL Vladimir V. Rybakov
2012	B	`conf`	Logical Analysis for Chance Discovery in Multi-Agents' Environment. KES Vladimir V. Rybakov
2012	B	`conf`	Multi-Agent Logic based on Temporary Logic TS4 KES Vladimir V. Rybakov
2012	B	`conf`	Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal Frames. KES Vladimir V. Rybakov
2012	J	`jnl`	Writing out Unifiers in Linear Temporal Logic. J. Log. Comput. Vladimir V. Rybakov
2011	—	`conf`	Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions. KES (1) Vladimir V. Rybakov
2011	J	`jnl`	Best Unifiers in Transitive Modal Logics. Stud Logica Vladimir V. Rybakov
2011	—	`conf`	Chance Discovery and Unification in Linear Modal Logic. KES (2) Vladimir V. Rybakov
2011	J	`jnl`	Inference Rules in Multi-agents' Temporal Logics. Trans. Comput. Collect. Intell. Vladimir V. Rybakov
2011	J	`jnl`	Linear Temporal Logic LTL: Basis for Admissible Rules. J. Log. Comput. Sergey Babenyshev, Vladimir V. Rybakov
2011	—	`conf`	Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers. KES (1) Vladimir V. Rybakov
2011	J	`jnl`	Unification in linear temporal logic LTL. Ann. Pure Appl. Log. Sergey Babenyshev, Vladimir V. Rybakov
2010	—	`conf`	A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. KES (1) Sergey Babenyshev, Vladimir V. Rybakov
2010	J	`jnl`	Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents. Int. J. Intell. Inf. Technol. Vladimir V. Rybakov
2010	—	`conf`	Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules. KES (3) Vladimir V. Rybakov
2010	—	`ch.`	Logical Analysis of Multi-agent Kripke Structures. Agent and Multi-agent Technology for Internet and Enterprise Systems Sergey Babenyshev, Vladimir V. Rybakov
2010	J	`jnl`	Logics of Kripke meta-models. Log. J. IGPL Sergey Babenyshev, Vladimir V. Rybakov
2010	J	`jnl`	Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction. Int. J. Adv. Intell. Paradigms Vladimir V. Rybakov
2010	—	`conf`	Multi-agent Logic with Distances Based on Linear Temporal Frames. ICAISC (2) Vladimir V. Rybakov, Sergey Babenyshev
2010	—	`conf`	Reasoning and Inference Rules in Basic Linear Temporal Logic KES (2) Sergey Babenyshev, Vladimir V. Rybakov
2010	J	`jnl`	Rules admissible in transitive temporal logic T Theor. Comput. Sci. Vladimir V. Rybakov
2010	—	`conf`	Temporal Logic TL ^Z_ {DU} Modeling Local and Global Discovery with Logical Uncertainty. ICDM Workshops Vladimir V. Rybakov
2009	—	`conf`	A Tableau Method for Checking Rule Admissibility in S4. M4M Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky
2009	—	`conf`	Describing Evolutions of Multi-Agent Systems. KES (1) Sergey Babenyshev, Vladimir V. Rybakov
2009	J	`jnl`	Linear Temporal Logic LTK J. Log. Comput. Vladimir V. Rybakov
2009	J	`jnl`	Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms. Int. J. Intell. Def. Support Syst. Sergey Babenyshev, Vladimir V. Rybakov
2009	J	`jnl`	Logic of discovery and knowledge. Decision algorithm. Intell. Decis. Technol. Sergey Babenyshev, Vladimir V. Rybakov
2009	J	`jnl`	Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements. Inf. Sci. Vladimir V. Rybakov
2009	—	`conf`	Temporal Logic for Modeling Discovery and Logical Uncertainty. KES (2) Sergey Babenyshev, Vladimir V. Rybakov
2008	—	`conf`	Algorithms for AI Logic of Decisions in Multi-Agent Environment. ICEIS (2) Vladimir V. Rybakov, Sergey Babenyshev
2008	J	`jnl`	Branching Time Logics Theory Comput. Syst. Vladimir V. Rybakov
2008	C	`conf`	Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. CiE Sergey Babenyshev, Vladimir V. Rybakov
2008	J	`jnl`	Linear temporal logic with until and next, logical consecutions. Ann. Pure Appl. Log. Vladimir V. Rybakov
2008	—	`conf`	Logic of Discovery and Knowledge: Decision Algorithm. KES (2) Sergey Babenyshev, Vladimir V. Rybakov
2008	—	`conf`	Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. KES (3) Sergey Babenyshev, Vladimir V. Rybakov
2008	Misc	`conf`	Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. ICAISC Vladimir V. Rybakov
2008	J	`jnl`	Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification. J. Log. Comput. Vladimir V. Rybakov
2008	J	`jnl`	Temporal logic with interacting agents. J. Appl. Non Class. Logics Vladimir V. Rybakov
2007	J	`jnl`	An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. Log. J. IGPL Erica Calardo, Vladimir V. Rybakov
2007	J	`jnl`	Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous. Fundam. Informaticae Vladimir V. Rybakov
2007	—	`conf`	Logic of Discovery in Uncertain Situations- Deciding Algorithms. KES (2) Vladimir V. Rybakov
2007	J	`jnl`	Logics with the universal modality and admissible consecutions. J. Appl. Non Class. Logics Vladimir V. Rybakov
2007	Misc	`conf`	Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. LFCS Vladimir V. Rybakov
2006	Misc	`conf`	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. CSR Vladimir V. Rybakov
2005	—	`conf`	Inference in Temporal Next-Time Logic. We Will Show Them! (2) Vladimir V. Rybakov
2005	J	`jnl`	Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. Log. J. IGPL M. I. Golovanov, Anna V. Kosheleva, Vladimir V. Rybakov
2005	J	`jnl`	Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. J. Log. Comput. Vladimir V. Rybakov
2005	J	`jnl`	Logical consecutions in discrete linear temporal logic. J. Symb. Log. Vladimir V. Rybakov
2004	J	`jnl`	Tabular Logics with no Finite Bases for Inference Rules. Log. J. IGPL Vladimir V. Rybakov
2003	J	`jnl`	Barwise's information frames and modal logics. Arch. Math. Log. Vladimir V. Rybakov
2003	J	`jnl`	Refined common knowledge logics or logics of common information. Arch. Math. Log. Vladimir V. Rybakov
2001	J	`jnl`	Construction of an Explicit Basis for Rules Admissible in Modal System S4. Math. Log. Q. Vladimir V. Rybakov
2000	J	`jnl`	A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. Math. Log. Q. Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
2000	J	`jnl`	On Self-Admissible Quasi-Characterizing Inference Rules. Stud Logica Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
2000	J	`jnl`	Unification and passive inference rules for modal logics. J. Appl. Non Class. Logics Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
1999	J	`jnl`	Description of Modal Logics Inheriting Admissible Rules for S4. Log. J. IGPL Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner
1999	J	`jnl`	Independent Bases for Rules Admissible in Pretabular Logics. Log. J. IGPL Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler
1999	J	`jnl`	On Finite Model Property for Admissible Rules. Math. Log. Q. Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner
1997	Misc	`conf`	Quasi-Characteristic Inference Rules for Modal Logics. LFCS Vladimir V. Rybakov
1995	J	`jnl`	Hereditarily Structurally Complete Modals Logics. J. Symb. Log. Vladimir V. Rybakov
1994	J	`jnl`	Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Stud Logica Vladimir V. Rybakov
1994	B	`conf`	Modal Logics Preserving Admissible for S4 Inference Rules. CSL Vladimir V. Rybakov
1994	Misc	`conf`	Preserving of Admissible Inference Rules in Modal Logics. LFCS Vladimir V. Rybakov
1993	J	`jnl`	Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. Math. Log. Q. Vladimir V. Rybakov
1992	J	`jnl`	A Modal Analog for Glivenko's Theorem and its Applications. Notre Dame J. Formal Log. Vladimir V. Rybakov
1992	J	`jnl`	Rules of Inference with Parameters for Intuitionistic Logic. J. Symb. Log. Vladimir V. Rybakov
1990	J	`jnl`	Logical equations and admissible rules of inference with parameters in modal provability logics. Stud Logica Vladimir V. Rybakov
1990	J	`jnl`	Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus. Ann. Pure Appl. Log. Vladimir V. Rybakov