Vladimir V. Rybakov

Manchester Metropolitan University

	2013
j42		Vladimir V. Rybakov: Writing out unifiers for formulas with coefficients in intuitionistic logic. Logic Journal of the IGPL 21(2): 187-198 (2013)
j41		Vladimir V. Rybakov: Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Logic Journal of the IGPL 21(2): 205-215 (2013)
	2012
j40		Vladimir V. Rybakov: Writing out Unifiers in Linear Temporal Logic. J. Log. Comput. 22(5): 1199-1206 (2012)
c25		Vladimir V. Rybakov: Multi-Agent Logic based on Temporary Logic TS4Kn serving Web Search. KES 2012: 108-117
c24		Vladimir V. Rybakov: Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal Frames. KES 2012: 169-178
c23		Vladimir V. Rybakov: Logical Analysis for Chance Discovery in Multi-Agents' Environment. KES 2012: 1593-1601
	2011
j39		Sergey Babenyshev, Vladimir V. Rybakov: Unification in linear temporal logic LTL. Ann. Pure Appl. Logic 162(12): 991-1000 (2011)
j38		Sergey Babenyshev, Vladimir V. Rybakov: Linear Temporal Logic LTL: Basis for Admissible Rules. J. Log. Comput. 21(2): 157-177 (2011)
j37		Vladimir V. Rybakov: Best Unifiers in Transitive Modal Logics. Studia Logica 99(1-3): 321-336 (2011)
j36		Vladimir V. Rybakov: Inference Rules in Multi-agents' Temporal Logics. T. Computational Collective Intelligence 4: 160-176 (2011)
c22		Vladimir V. Rybakov: Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions. KES (1) 2011: 171-179
c21		Vladimir V. Rybakov: Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers. KES (1) 2011: 306-315
c20		Vladimir V. Rybakov: Chance Discovery and Unification in Linear Modal Logic. KES (2) 2011: 478-485
	2010
j35		Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky: A Tableau Method for Checking Rule Admissibility in S4. Electr. Notes Theor. Comput. Sci. 262: 17-32 (2010)
j34		Sergey Babenyshev, Vladimir V. Rybakov: Logics of Kripke meta-models. Logic Journal of the IGPL 18(6): 823-836 (2010)
j33		Vladimir V. Rybakov: Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction. IJAIP 2(2/3): 198-219 (2010)
j32		Vladimir V. Rybakov: Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents. IJIIT 6(1): 31-45 (2010)
j31		Vladimir V. Rybakov: Rules admissible in transitive temporal logic TS4, sufficient condition. Theor. Comput. Sci. 411(50): 4323-4332 (2010)
c19		Vladimir V. Rybakov, Sergey Babenyshev: Multi-agent Logic with Distances Based on Linear Temporal Frames. ICAISC (2) 2010: 337-344
c18		Vladimir V. Rybakov: Temporal Logic TL ^Z_ {DU} Modeling Local and Global Discovery with Logical Uncertainty. ICDM Workshops 2010: 830-834
c17		Sergey Babenyshev, Vladimir V. Rybakov: Reasoning and Inference Rules in Basic Linear Temporal Logic BLTL\mathcal{BLTL}. KES (2) 2010: 224-233
c16		Sergey Babenyshev, Vladimir V. Rybakov: A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. KES (1) 2010: 230-239
c15		Vladimir V. Rybakov: Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules. KES (3) 2010: 323-330
p1		Sergey Babenyshev, Vladimir V. Rybakov: Logical Analysis of Multi-agent Kripke Structures. Agent and Multi-agent Technology for Internet and Enterprise Systems 2010: 157-180
	2009
j30		Sergey Babenyshev, Vladimir V. Rybakov: Logic of discovery and knowledge. Decision algorithm. Intelligent Decision Technologies 3(2): 115-120 (2009)
j29		Sergey Babenyshev, Vladimir V. Rybakov: Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms. IJIDSS 2(1): 34-44 (2009)
j28		Vladimir V. Rybakov: Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements. Inf. Sci. 179(11): 1608-1614 (2009)
j27		Vladimir V. Rybakov: Linear Temporal Logic LTKK extended by Multi-Agent Logic Kn with Interacting Agents. J. Log. Comput. 19(6): 989-1017 (2009)
c14		Sergey Babenyshev, Vladimir V. Rybakov: Temporal Logic for Modeling Discovery and Logical Uncertainty. KES (2) 2009: 16-23
c13		Sergey Babenyshev, Vladimir V. Rybakov: Describing Evolutions of Multi-Agent Systems. KES (1) 2009: 38-45
	2008
j26		Vladimir V. Rybakov: Linear temporal logic with until and next, logical consecutions. Ann. Pure Appl. Logic 155(1): 32-45 (2008)
j25		Vladimir V. Rybakov: Temporal logic with interacting agents. Journal of Applied Non-Classical Logics 18(2-3): 293-308 (2008)
j24		Vladimir V. Rybakov: Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification. J. Log. Comput. 18(4): 509-519 (2008)
j23		Vladimir V. Rybakov: Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms. Theory Comput. Syst. 43(2): 254-271 (2008)
c12		Sergey Babenyshev, Vladimir V. Rybakov: Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. CiE 2008: 32-41
c11		Vladimir V. Rybakov: Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. ICAISC 2008: 1243-1253
c10		Vladimir V. Rybakov, Sergey Babenyshev: Algorithms for AI Logic of Decisions in Multi-Agent Environment. ICEIS (2) 2008: 125-129
c9		Sergey Babenyshev, Vladimir V. Rybakov: Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. KES (3) 2008: 210-217
c8		Sergey Babenyshev, Vladimir V. Rybakov: Logic of Discovery and Knowledge: Decision Algorithm. KES (2) 2008: 711-718
	2007
j22		Vladimir V. Rybakov: Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous. Fundam. Inform. 81(1-3): 297-313 (2007)
j21		Erica Calardo, Vladimir V. Rybakov: An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. Logic Journal of the IGPL 15(3): 239-254 (2007)
j20		Vladimir V. Rybakov: Logics with the universal modality and admissible consecutions. Journal of Applied Non-Classical Logics 17(3): 383-396 (2007)
c7		Vladimir V. Rybakov: Logic of Discovery in Uncertain Situations- Deciding Algorithms. KES (2) 2007: 950-958
c6		Vladimir V. Rybakov: Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. LFCS 2007: 486-497
	2006
c5		Vladimir V. Rybakov: Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. CSR 2006: 322-333
	2005
j19		M. I. Golovanov, A. V. Kosheleva, Vladimir V. Rybakov: Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. Logic Journal of the IGPL 13(2): 201-209 (2005)
j18		Vladimir V. Rybakov: Logical consecutions in discrete linear temporal logic. J. Symb. Log. 70(4): 1137-1149 (2005)
j17		Vladimir V. Rybakov: Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. J. Log. Comput. 15(5): 663-678 (2005)
c4		Vladimir V. Rybakov: Inference in Temporal Next-Time Logic. We Will Show Them! (2) 2005: 615-638
	2004
j16		Vladimir V. Rybakov: Tabular Logics with no Finite Bases for Inference Rules. Logic Journal of the IGPL 12(4): 301-311 (2004)
	2003
j15		Vladimir V. Rybakov: Refined common knowledge logics or logics of common information. Arch. Math. Log. 42(2): 179-200 (2003)
j14		Vladimir V. Rybakov: Barwise's information frames and modal logics. Arch. Math. Log. 42(3): 261-277 (2003)
	2001
j13		Vladimir V. Rybakov: Construction of an Explicit Basis for Rules Admissible in Modal System S4. Math. Log. Q. 47(4): 441-446 (2001)
	2000
j12		Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer: Unification and passive inference rules for modal logics. Journal of Applied Non-Classical Logics 10(3-4): 369-377 (2000)
j11		Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki: A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. Math. Log. Q. 46(2): 207-218 (2000)
j10		Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer: On Self-Admissible Quasi-Characterizing Inference Rules. Studia Logica 65(3): 417-428 (2000)
	1999
j9		Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler: Independent Bases for Rules Admissible in Pretabular Logics. Logic Journal of the IGPL 7(2): 253-266 (1999)
j8		Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner: Description of Modal Logics Inheriting Admissible Rules for S4. Logic Journal of the IGPL 7(5): 655-664 (1999)
j7		Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner: On Finite Model Property for Admissible Rules. Math. Log. Q. 45: 505-520 (1999)
	1997
c3		Vladimir V. Rybakov: Quasi-Characteristic Inference Rules for Modal Logics. LFCS 1997: 333-341
	1995
j6		Vladimir V. Rybakov: Hereditarily Structurally Complete Modals Logics. J. Symb. Log. 60(1): 266-288 (1995)
	1994
j5		Vladimir V. Rybakov: Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Studia Logica 53(2): 203-226 (1994)
c2		Vladimir V. Rybakov: Modal Logics Preserving Admissible for S4 Inference Rules. CSL 1994: 512-526
c1		Vladimir V. Rybakov: Preserving of Admissible Inference Rules in Modal Logics. LFCS 1994: 304-315
	1993
j4		Vladimir V. Rybakov: Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. Math. Log. Q. 39: 403-415 (1993)
	1992
j3		Vladimir V. Rybakov: Rules of Inference with Parameters for Intuitionistic Logic. J. Symb. Log. 57(3): 912-923 (1992)
j2		Vladimir V. Rybakov: A Modal Analog for Glivenko's Theorem and its Applications. Notre Dame Journal of Formal Logic 33(2): 244-248 (1992)
	1990
j1		Vladimir V. Rybakov: Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus. Ann. Pure Appl. Logic 50(1): 71-106 (1990)

Coauthor Index

Colors in the list of coauthors

Last update Tue May 21 17:53:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page