Vladimir V. Rybakov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

35EESergey Babenyshev, Vladimir V. Rybakov: Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. CiE 2008: 32-41
34EEVladimir V. Rybakov: Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. ICAISC 2008: 1243-1253
33 Vladimir V. Rybakov, Sergey Babenyshev: Algorithms for AI Logic of Decisions in Multi-Agent Environment. ICEIS (2) 2008: 125-129
32EESergey Babenyshev, Vladimir V. Rybakov: Logic of Discovery and Knowledge: Decision Algorithm. KES (2) 2008: 711-718
31EESergey Babenyshev, Vladimir V. Rybakov: Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. KES (3) 2008: 210-217
30EEVladimir V. Rybakov: Linear temporal logic with until and next, logical consecutions. Ann. Pure Appl. Logic 155(1): 32-45 (2008)
29EEVladimir 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)
28EEVladimir 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)
27EEVladimir V. Rybakov: Logic of Discovery in Uncertain Situations- Deciding Algorithms. KES (2) 2007: 950-958
26EEVladimir V. Rybakov: Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. LFCS 2007: 486-497
25EEVladimir 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)
24EEErica 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)
23EEVladimir V. Rybakov: Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. CSR 2006: 322-333
22 Vladimir V. Rybakov: Inference in Temporal Next-Time Logic. We Will Show Them! (2) 2005: 615-638
21EEVladimir V. Rybakov: Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. J. Log. Comput. 15(5): 663-678 (2005)
20EEM. 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)
19EEVladimir V. Rybakov: Tabular Logics with no Finite Bases for Inference Rules. Logic Journal of the IGPL 12(4): 301-311 (2004)
18EEVladimir V. Rybakov: Refined common knowledge logics or logics of common information. Arch. Math. Log. 42(2): 179-200 (2003)
17EEVladimir V. Rybakov: Barwise's information frames and modal logics. Arch. Math. Log. 42(3): 261-277 (2003)
16EEVladimir V. Rybakov: Construction of an Explicit Basis for Rules Admissible in Modal System S4. Math. Log. Q. 47(4): 441-446 (2001)
15 Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer: Unification and passive inference rules for modal logics. Journal of Applied Non-Classical Logics 10(3-4): (2000)
14EEVladimir 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)
13 Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer: On Self-Admissible Quasi-Characterizing Inference Rules. Studia Logica 65(3): 417-428 (2000)
12EEVladimir 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)
11EEVladimir 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)
10 Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner: On Finite Model Property for Admissible Rules. Math. Log. Q. 45: 505-520 (1999)
9 Vladimir V. Rybakov: Quasi-Characteristic Inference Rules for Modal Logics. LFCS 1997: 333-341
8 Vladimir V. Rybakov: Hereditarily Structurally Complete Modals Logics. J. Symb. Log. 60(1): 266-288 (1995)
7 Vladimir V. Rybakov: Modal Logics Preserving Admissible for S4 Inference Rules. CSL 1994: 512-526
6 Vladimir V. Rybakov: Preserving of Admissible Inference Rules in Modal Logics. LFCS 1994: 304-315
5 Vladimir V. Rybakov: Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Studia Logica 53(2): 203-226 (1994)
4 Vladimir V. Rybakov: Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. Math. Log. Q. 39: 403-415 (1993)
3 Vladimir V. Rybakov: Rules of Inference with Parameters for Intuitionistic Logic. J. Symb. Log. 57(3): 912-923 (1992)
2 Vladimir V. Rybakov: A Modal Analog for Glivenko's Theorem and its Applications. Notre Dame Journal of Formal Logic 33(2): 244-248 (1992)
1 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

1Sergey Babenyshev [31] [32] [33] [35]
2Erica Calardo [24]
3Çigdem Gencer [11] [13] [15]
4M. I. Golovanov [20]
5Vladimir R. Kiyatkin [10] [12]
6A. V. Kosheleva [20]
7Tahsin Oner [10] [11]
8Vitaliy Remazki [14]
9Mehmet Terziler [12] [13] [14] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)