The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vladimir V. Rybakov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vladimir V. Rybakov
    Inference in Temporal Next-Time Logic. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:615-638 [Conf]
  2. Vladimir V. Rybakov
    Modal Logics Preserving Admissible for S4 Inference Rules. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:512-526 [Conf]
  3. Vladimir V. Rybakov
    Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. [Citation Graph (0, 0)][DBLP]
    CSR, 2006, pp:322-333 [Conf]
  4. Vladimir V. Rybakov
    Preserving of Admissible Inference Rules in Modal Logics. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:304-315 [Conf]
  5. Vladimir V. Rybakov
    Quasi-Characteristic Inference Rules for Modal Logics. [Citation Graph (0, 0)][DBLP]
    LFCS, 1997, pp:333-341 [Conf]
  6. Vladimir V. Rybakov
    Refined common knowledge logics or logics of common information. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:2, pp:179-200 [Journal]
  7. Vladimir V. Rybakov
    Barwise's information frames and modal logics. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:3, pp:261-277 [Journal]
  8. Vladimir V. Rybakov
    Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1990, v:50, n:1, pp:71-106 [Journal]
  9. M. I. Golovanov, A. V. Kosheleva, Vladimir V. Rybakov
    Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:2, pp:201-209 [Journal]
  10. Vladimir V. Rybakov
    Tabular Logics with no Finite Bases for Inference Rules. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:4, pp:301-311 [Journal]
  11. Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner
    Description of Modal Logics Inheriting Admissible Rules for S4. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:5, pp:655-664 [Journal]
  12. Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler
    Independent Bases for Rules Admissible in Pretabular Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:2, pp:253-266 [Journal]
  13. Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
    Unification and passive inference rules for modal logics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  14. Vladimir V. Rybakov
    Rules of Inference with Parameters for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:912-923 [Journal]
  15. Vladimir V. Rybakov
    Hereditarily Structurally Complete Modals Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:1, pp:266-288 [Journal]
  16. Vladimir V. Rybakov
    Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:5, pp:663-678 [Journal]
  17. Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner
    On Finite Model Property for Admissible Rules. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:505-520 [Journal]
  18. Vladimir V. Rybakov
    Construction of an Explicit Basis for Rules Admissible in Modal System S4. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2001, v:47, n:4, pp:441-446 [Journal]
  19. Vladimir V. Rybakov
    Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1993, v:39, n:, pp:403-415 [Journal]
  20. Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
    A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:2, pp:207-218 [Journal]
  21. Vladimir V. Rybakov
    A Modal Analog for Glivenko's Theorem and its Applications. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:244-248 [Journal]
  22. Vladimir V. Rybakov
    Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:203-226 [Journal]
  23. Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
    On Self-Admissible Quasi-Characterizing Inference Rules. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:65, n:3, pp:417-428 [Journal]
  24. Vladimir V. Rybakov
    Logic of Discovery in Uncertain Situations- Deciding Algorithms. [Citation Graph (0, 0)][DBLP]
    KES (2), 2007, pp:950-958 [Conf]
  25. Vladimir V. Rybakov
    Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:486-497 [Conf]
  26. Erica Calardo, Vladimir V. Rybakov
    An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2007, v:15, n:3, pp:239-254 [Journal]

  27. Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. [Citation Graph (, )][DBLP]


  28. Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. [Citation Graph (, )][DBLP]


  29. Multi-agent Logic with Distances Based on Linear Temporal Frames. [Citation Graph (, )][DBLP]


  30. Algorithms for AI Logic of Decisions in Multi-Agent Environment. [Citation Graph (, )][DBLP]


  31. Logic of Discovery and Knowledge: Decision Algorithm. [Citation Graph (, )][DBLP]


  32. Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. [Citation Graph (, )][DBLP]


  33. Describing Evolutions of Multi-Agent Systems. [Citation Graph (, )][DBLP]


  34. Temporal Logic for Modeling Discovery and Logical Uncertainty. [Citation Graph (, )][DBLP]


  35. Linear temporal logic with until and next, logical consecutions. [Citation Graph (, )][DBLP]


  36. A Tableau Method for Checking Rule Admissibility in S4. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.285secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002