Search the dblp DataBase
Vladimir V. Rybakov :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Vladimir V. Rybakov Inference in Temporal Next-Time Logic. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (2), 2005, pp:615-638 [Conf ] Vladimir V. Rybakov Modal Logics Preserving Admissible for S4 Inference Rules. [Citation Graph (0, 0)][DBLP ] CSL, 1994, pp:512-526 [Conf ] 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 ] Vladimir V. Rybakov Preserving of Admissible Inference Rules in Modal Logics. [Citation Graph (0, 0)][DBLP ] LFCS, 1994, pp:304-315 [Conf ] Vladimir V. Rybakov Quasi-Characteristic Inference Rules for Modal Logics. [Citation Graph (0, 0)][DBLP ] LFCS, 1997, pp:333-341 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Vladimir V. Rybakov Logic of Discovery in Uncertain Situations- Deciding Algorithms. [Citation Graph (0, 0)][DBLP ] KES (2), 2007, pp:950-958 [Conf ] 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 ] 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 ] Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. [Citation Graph (, )][DBLP ] Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. [Citation Graph (, )][DBLP ] Multi-agent Logic with Distances Based on Linear Temporal Frames. [Citation Graph (, )][DBLP ] Algorithms for AI Logic of Decisions in Multi-Agent Environment. [Citation Graph (, )][DBLP ] Logic of Discovery and Knowledge: Decision Algorithm. [Citation Graph (, )][DBLP ] Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. [Citation Graph (, )][DBLP ] Describing Evolutions of Multi-Agent Systems. [Citation Graph (, )][DBLP ] Temporal Logic for Modeling Discovery and Logical Uncertainty. [Citation Graph (, )][DBLP ] Linear temporal logic with until and next, logical consecutions. [Citation Graph (, )][DBLP ] A Tableau Method for Checking Rule Admissibility in S4. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.285secs