Rybakov, Vladimir Vladimirovich; Kiyatkin, Vladimir Rostislavovich; Grekovich, Konstantin Vikent’evich Formulas expressing totally nonstable truth values of formulas. (English) Zbl 07711304 Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 108-115 (2023). MSC: 03B45 03H05 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 108--115 (2023; Zbl 07711304) Full Text: DOI Link
Protsenko, Nikita Aleksandrovich; Rybakov, Vladimir Vladimirovich; Rimatskiĭ, Vitaliĭ Valentinovich Satisfiability problem in interval FP-logic. (English) Zbl 07711303 Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 98-107 (2023). MSC: 03B45 03H05 PDFBibTeX XMLCite \textit{N. A. Protsenko} et al., Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 98--107 (2023; Zbl 07711303) Full Text: DOI Link
Moor, Michael Alexandrovich; Rybakov, Vladimir Vladimirovich Many-valued multi-modal logics, satisfiability problem. (English) Zbl 1436.03138 Sib. Èlektron. Mat. Izv. 15, 829-838 (2018). MSC: 03B45 03B50 03B70 PDFBibTeX XMLCite \textit{M. A. Moor} and \textit{V. V. Rybakov}, Sib. Èlektron. Mat. Izv. 15, 829--838 (2018; Zbl 1436.03138) Full Text: DOI
Bashmakov, Stepan Igorevich; Kosheleva, Anna Vladimirovna; Rybakov, Vladimir Projective formulas and unification in linear discrete temporal multi-agent logics. (English) Zbl 1390.03019 Sib. Èlektron. Mat. Izv. 13, 923-929 (2016). MSC: 03B45 03B44 68T27 PDFBibTeX XMLCite \textit{S. I. Bashmakov} et al., Sib. Èlektron. Mat. Izv. 13, 923--929 (2016; Zbl 1390.03019) Full Text: DOI
Bashmakov, Stepan Igorevich; Kosheleva, Anna Vladimirovna; Rybakov, Vladimir Non-unifiability in linear temporal logic of knowledge with multi-agent relations. (English) Zbl 1390.03020 Sib. Èlektron. Mat. Izv. 13, 656-663 (2016). MSC: 03B47 03B44 03B45 68T27 PDFBibTeX XMLCite \textit{S. I. Bashmakov} et al., Sib. Èlektron. Mat. Izv. 13, 656--663 (2016; Zbl 1390.03020) Full Text: DOI
Luk’yanchuk, A. N.; Rybakov, V. V. Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation. (English. Russian original) Zbl 1342.03019 Sib. Math. J. 56, No. 3, 455-470 (2015); translation from Sib. Mat. Zh. 56, No. 3, 573-593 (2015). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B45 03B44 03B42 03B25 PDFBibTeX XMLCite \textit{A. N. Luk'yanchuk} and \textit{V. V. Rybakov}, Sib. Math. J. 56, No. 3, 455--470 (2015; Zbl 1342.03019); translation from Sib. Mat. Zh. 56, No. 3, 573--593 (2015) Full Text: DOI
Odintsov, Sergei; Rybakov, Vladimir Inference rules in Nelson’s logics, admissibility and weak admissibility. (English) Zbl 1336.03036 Log. Univers. 9, No. 1, 93-120 (2015). MSC: 03B53 PDFBibTeX XMLCite \textit{S. Odintsov} and \textit{V. Rybakov}, Log. Univers. 9, No. 1, 93--120 (2015; Zbl 1336.03036) Full Text: DOI Link
Odintsov, S. P.; Rybakov, V. V. Unification problem in Nelson’s logic \(\mathbf{N4}\). (English) Zbl 1354.03032 Sib. Èlektron. Mat. Izv. 11, 434-443 (2014). MSC: 03B53 PDFBibTeX XMLCite \textit{S. P. Odintsov} and \textit{V. V. Rybakov}, Sib. Èlektron. Mat. Izv. 11, 434--443 (2014; Zbl 1354.03032) Full Text: Link
Alaev, P. E.; Bogopol’skiĭ, O. V.; Vasil’ev, A. V.; Goncharov, S. S.; Ershov, Yu. L.; Mazurov, V. D.; Maksimova, L. L.; Morozov, A. S.; Odintsov, S. P.; Palchunov, D. E.; Puzarenko, V. G.; Rybakov, V. V.; Rychkov, K. L.; Ryaskin, A. N.; Taĭmanov, I. A.; Filyurin, A. S.; Khramtsov, D. G.; Churkin, V. A. Sergeĭ Il’ich Mardaev (6.04.1962–10.04.2013). (Russian) Zbl 1330.01057 Sib. Èlektron. Mat. Izv. 10, A.30-A.34 (2013). MSC: 01A70 03-03 PDFBibTeX XMLCite \textit{P. E. Alaev} et al., Sib. Èlektron. Mat. Izv. 10, A.30-A.34 (2013; Zbl 1330.01057)
Odintsov, Sergei; Rybakov, Vladimir Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic \(\mathbf{IPC}^+\). (English) Zbl 1323.03029 Ann. Pure Appl. Logic 164, No. 7-8, 771-784 (2013). MSC: 03B53 03B25 68T15 PDFBibTeX XMLCite \textit{S. Odintsov} and \textit{V. Rybakov}, Ann. Pure Appl. Logic 164, No. 7--8, 771--784 (2013; Zbl 1323.03029) Full Text: DOI
Babenyshev, Sergey; Rybakov, Vladimir Unification in linear temporal logic LTL. (English) Zbl 1241.03014 Ann. Pure Appl. Logic 162, No. 12, 991-1000 (2011). MSC: 03B44 03B70 03F52 PDFBibTeX XMLCite \textit{S. Babenyshev} and \textit{V. Rybakov}, Ann. Pure Appl. Logic 162, No. 12, 991--1000 (2011; Zbl 1241.03014) Full Text: DOI
Babenyshev, Sergey; Rybakov, Vladimir Linear temporal logic LTL: basis for admissible rules. (English) Zbl 1233.03026 J. Log. Comput. 21, No. 2, 157-177 (2011). MSC: 03B44 PDFBibTeX XMLCite \textit{S. Babenyshev} and \textit{V. Rybakov}, J. Log. Comput. 21, No. 2, 157--177 (2011; Zbl 1233.03026) Full Text: DOI
Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry A tableau method for checking rule admissibility in S4. (English) Zbl 1345.03033 Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 17-32 (2010). MSC: 03B45 PDFBibTeX XMLCite \textit{S. Babenyshev} et al., Electron. Notes Theor. Comput. Sci. 262, 17--32 (2010; Zbl 1345.03033) 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
Rybakov, Vladimir V.; Babenyshev, Sergej V. A hybrid of tense logic \(\mathrm{S}4_\mathrm{T}\) and multi-agent logic with interacting agents. (English) Zbl 1472.68192 J. Sib. Fed. Univ., Math. Phys. 1, No. 4, 399-409 (2008). MSC: 68T27 03B42 03B44 68T30 PDFBibTeX XMLCite \textit{V. V. Rybakov} and \textit{S. V. Babenyshev}, J. Sib. Fed. Univ., Math. Phys. 1, No. 4, 399--409 (2008; Zbl 1472.68192) Full Text: MNR
Babenyshev, Sergey; Rybakov, Vladimir Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. (English) Zbl 1142.03323 Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 32-41 (2008). MSC: 03B25 03B42 03B44 68T27 PDFBibTeX XMLCite \textit{S. Babenyshev} and \textit{V. Rybakov}, Lect. Notes Comput. Sci. 5028, 32--41 (2008; Zbl 1142.03323) Full Text: DOI
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
Rimatksi, V. V.; Rybakov, V. V. A note on globally admissible inference rules for modal and superintuitionistic logics. (English) Zbl 1117.03024 Bull. Sect. Log., Univ. Łódź, Dep. Log. 34, No. 2, 93-99 (2005). MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{V. V. Rimatksi} and \textit{V. V. Rybakov}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 34, No. 2, 93--99 (2005; Zbl 1117.03024)
Calardo, E.; Rybakov, V. Combining time and knowledge, semantic approach. (English) Zbl 1117.03021 Bull. Sect. Log., Univ. Łódź, Dep. Log. 34, No. 1, 13-21 (2005). MSC: 03B45 03B42 03B44 PDFBibTeX XMLCite \textit{E. Calardo} and \textit{V. Rybakov}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 34, No. 1, 13--21 (2005; Zbl 1117.03021)
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
Golovanov, M. I.; Rybakov, V. V.; Yurasova, E. M. A necessary condition for rules to be admissible in temporal tomorrow-logic. (English) Zbl 1050.03013 Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 4, 213-220 (2003). Reviewer: Giacomo Bonanno (Davis) MSC: 03B44 PDFBibTeX XMLCite \textit{M. I. Golovanov} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 4, 213--220 (2003; Zbl 1050.03013)
Rybakov, V. V.; Rimatskij, V. V. Preservation of admissibility of inference rules in the logics similar to S4. 2. (Russian, English) Zbl 1010.03011 Sib. Mat. Zh. 43, No. 2, 446-453 (2002); translation in Sib. Math. J. 43, No. 2, 357-362 (2002). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{V. V. Rybakov} and \textit{V. V. Rimatskij}, Sib. Mat. Zh. 43, No. 2, 446--453 (2002; Zbl 1010.03011); translation in Sib. Math. J. 43, No. 2, 357--362 (2002) Full Text: EuDML
Rybakov, V. V.; Kiyatkin, V. R.; Oner, T. Residual finiteness for admissible inference rules. (Russian, English) Zbl 0989.03015 Algebra Logika 40, No. 5, 593-618 (2001); translation in Algebra Logic 40, No. 5, 334-347 (2001). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03B45 03B60 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Algebra Logika 40, No. 5, 593--618 (2001; Zbl 0989.03015); translation in Algebra Logic 40, No. 5, 334--347 (2001) Full Text: EuDML
Rybakov, V. V.; Terziler, M.; Gencer, C. Unification and passive inference rules for modal logics. (English) Zbl 1040.03014 J. Appl. Non-Class. Log. 10, No. 3-4, 369-377 (2000). MSC: 03B45 03B55 03B35 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., J. Appl. Non-Class. Log. 10, No. 3--4, 369--377 (2000; Zbl 1040.03014) Full Text: DOI
Rybakov, V. V.; Fedorishin, B. Faces of monotonicity and wisdom formulas problem. (English) Zbl 1032.03013 Bull. Sect. Log., Univ. Łódź, Dep. Log. 29, No. 4, 181-192 (2000). MSC: 03B45 03B42 68T30 PDFBibTeX XMLCite \textit{V. V. Rybakov} and \textit{B. Fedorishin}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 29, No. 4, 181--192 (2000; Zbl 1032.03013)
Rybakov, V. V.; Terziler, M.; Rimatskij, V. V. Describing a basis in semireduced form for inference rules of intuitionistic logic. (English. Russian original) Zbl 0973.03009 Algebra Logika 39, No. 6, 720-740 (2000); translation in Algebra Logic 39, No. 6, 412-422 (2000). Reviewer: A.N.Ryaskin (Novosibirsk) MSC: 03B20 03B55 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Algebra Logika 39, No. 6, 720--740 (2000; Zbl 0973.03009); translation in Algebra Logic 39, No. 6, 412--422 (2000) Full Text: EuDML
Rybakov, V. V.; Terziler, M.; Gencer, C. On self-admissible quasi-characterizing inference rules. (English) Zbl 0969.03032 Stud. Log. 65, No. 3, 417-428 (2000). MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Stud. Log. 65, No. 3, 417--428 (2000; Zbl 0969.03032) Full Text: DOI
Rybakov, V. V.; Kiyatkin, V. R.; Terziller, M. Independent bases for rules admissible in pretable logics. (English. Russian original) Zbl 0953.03032 Algebra Logika 39, No. 2, 206-226 (2000); translation in Algebra Logic 39, No. 2, 119-130 (2000). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03B60 03B45 03B55 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Algebra Logika 39, No. 2, 206--226 (2000; Zbl 0953.03032); translation in Algebra Logic 39, No. 2, 119--130 (2000) Full Text: EuDML
Rybakov, Vladimir V.; Terziler, Mehmet; Remazki, Vitaliy A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. (English) Zbl 0955.03037 Math. Log. Q. 46, No. 2, 207-218 (2000). Reviewer: Leo Esakia (Tbilisi) MSC: 03B55 03B20 03F07 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Math. Log. Q. 46, No. 2, 207--218 (2000; Zbl 0955.03037) Full Text: DOI
Rybakov, V. V.; Terziler, M.; Gencer, C. An essay on unification and inference rules for modal logics. (English) Zbl 0952.03019 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 3, 145-157 (1999). MSC: 03B45 03B35 03B55 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 3, 145--157 (1999; Zbl 0952.03019)
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, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin On finite model property for admissible rules. (English) Zbl 0938.03033 Math. Log. Q. 45, No. 4, 505-520 (1999). Reviewer: B.Boričić (Beograd) MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Math. Log. Q. 45, No. 4, 505--520 (1999; Zbl 0938.03033) Full Text: DOI
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
Rybakov, V. V.; Oner, T. The structure of rigid frames of restricted depth 2. (English) Zbl 0965.03025 Bull. Sect. Log., Univ. Łódź, Dep. Log. 27, No. 4, 172-181 (1998). Reviewer: G.Mints (Stanford) MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rybakov} and \textit{T. Oner}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 27, No. 4, 172--181 (1998; Zbl 0965.03025)
Rybakov, V. V.; Terziler, M.; Gencer, C. Description of self-admissible quasi-characterizing inference rules. (English) Zbl 0973.03509 Bull. Sect. Log., Univ. Łódź, Dep. Log. 27, No. 4, 164-171 (1998). MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 27, No. 4, 164--171 (1998; Zbl 0973.03509)
Maksimova, L. L.; Rybakov, V. V. A lattice of normal modal logics. (English. Russian original) Zbl 0315.02027 Algebra Logic 13(1974), 105-122 (1975); translation from Algebra Logika 13, 188-216 (1974). MSC: 03B45 PDFBibTeX XMLCite \textit{L. L. Maksimova} and \textit{V. V. Rybakov}, Algebra Logic 13, 105--122 (1975; Zbl 0315.02027); translation from Algebra Logika 13, 188--216 (1974) Full Text: DOI