Rybakov, Vladimir Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\). (English) Zbl 1342.03017 Log. J. IGPL 22, No. 4, 665-672 (2014). MSC: 03B44 PDFBibTeX XMLCite \textit{V. Rybakov}, Log. J. IGPL 22, No. 4, 665--672 (2014; Zbl 1342.03017) Full Text: DOI
Rybakov, Vladimir Unifiers in transitive modal logics for formulas with coefficients (meta-variables). (English) Zbl 1278.03050 Log. J. IGPL 21, No. 2, 205-215 (2013). Reviewer: Alex Citkin (Warren) MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{V. Rybakov}, Log. J. IGPL 21, No. 2, 205--215 (2013; Zbl 1278.03050) Full Text: DOI
Rybakov, Vladimir V. Writing out unifiers for formulas with coefficients in intuitionistic logic. (English) Zbl 1277.03004 Log. J. IGPL 21, No. 2, 187-198 (2013). Reviewer: Valery Plisko (Moskva) MSC: 03B20 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Log. J. IGPL 21, No. 2, 187--198 (2013; Zbl 1277.03004) Full Text: DOI
Babenyshev, Sergey; Rybakov, Vladimir Logics of Kripke meta-models. (English) Zbl 1216.03035 Log. J. IGPL 18, No. 6, 823-836 (2010). MSC: 03B45 03B62 PDFBibTeX XMLCite \textit{S. Babenyshev} and \textit{V. Rybakov}, Log. J. IGPL 18, No. 6, 823--836 (2010; Zbl 1216.03035) Full Text: DOI Link
Calardo, Erica; Rybakov, Vladimir V. An axiomatisation for the multi-modal logic of knowledge and linear time LTK. (English) Zbl 1134.03011 Log. J. IGPL 15, No. 3, 239-254 (2007). Reviewer: Damas Gruska (Bratislava) MSC: 03B42 03B44 03B45 PDFBibTeX XMLCite \textit{E. Calardo} and \textit{V. V. Rybakov}, Log. J. IGPL 15, No. 3, 239--254 (2007; Zbl 1134.03011) Full Text: DOI
Golovanov, M. I.; Kosheleva, A. V.; Rybakov, V. Logic of visibility, perception, and knowledge and admissible inference rules. (English) Zbl 1083.03021 Log. J. IGPL 13, No. 2, 201-209 (2005). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{M. I. Golovanov} et al., Log. J. IGPL 13, No. 2, 201--209 (2005; Zbl 1083.03021) Full Text: DOI
Rybakov, V. Tabular logics with no finite bases for inference rules. (English) Zbl 1073.03012 Log. J. IGPL 12, No. 4, 301-311 (2004). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03B55 03B45 PDFBibTeX XMLCite \textit{V. Rybakov}, Log. J. IGPL 12, No. 4, 301--311 (2004; Zbl 1073.03012) Full Text: DOI
Rybakov, V. V.; Gencer, C.; Oner, T. Description of modal logics inheriting admissible rules for S4. (English) Zbl 0942.03031 Log. J. IGPL 7, No. 5, 655-664 (1999). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Log. J. IGPL 7, No. 5, 655--664 (1999; Zbl 0942.03031) Full Text: DOI Link
Rybakov, V.; Kiyatkin, V.; Terziler, M. Independent bases for rules admissible in pretabular logics. (English) Zbl 0956.03024 Log. J. IGPL 7, No. 2, 253-266 (1999). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 03B55 03C15 PDFBibTeX XMLCite \textit{V. Rybakov} et al., Log. J. IGPL 7, No. 2, 253--266 (1999; Zbl 0956.03024) Full Text: DOI