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