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
Rybakov, Vladimir V. Satisfiability in Boolean logic (SAT problem) is polynomial. (English) Zbl 1507.03092 J. Sib. Fed. Univ., Math. Phys. 14, No. 5, 667-671 (2021). Reviewer: Arne Meier (Hannover) MSC: 03D15 68Q25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, J. Sib. Fed. Univ., Math. Phys. 14, No. 5, 667--671 (2021; Zbl 1507.03092) Full Text: DOI MNR
Rybakov, V. V. Multi-agent temporal nontransitive linear logics and the admissibility problem. (English. Russian original) Zbl 1484.03031 Algebra Logic 59, No. 1, 87-100 (2020); translation from Algebra Logika 59, No. 1, 123-141 (2020). MSC: 03B44 68T27 03B47 03B70 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Algebra Logic 59, No. 1, 87--100 (2020; Zbl 1484.03031); translation from Algebra Logika 59, No. 1, 123--141 (2020) Full Text: DOI Link
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, 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
Rybakov, Vladimir V. Best unifiers in transitive modal logics. (English) Zbl 1247.03029 Stud. Log. 99, No. 1-3, 321-336 (2011). Reviewer: Nail Zamov (Kazan) MSC: 03B45 03B35 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Stud. Log. 99, No. 1--3, 321--336 (2011; Zbl 1247.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; 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
Rybakov, Vladimir Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition. (English) Zbl 1209.03011 Theor. Comput. Sci. 411, No. 50, 4323-4332 (2010). MSC: 03B44 PDFBibTeX XMLCite \textit{V. Rybakov}, Theor. Comput. Sci. 411, No. 50, 4323--4332 (2010; Zbl 1209.03011) Full Text: DOI
Rybakov, Vladimir Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements. (English) Zbl 1179.68151 Inf. Sci. 179, No. 11, 1608-1614 (2009). MSC: 68T27 PDFBibTeX XMLCite \textit{V. Rybakov}, Inf. Sci. 179, No. 11, 1608--1614 (2009; Zbl 1179.68151) Full Text: DOI
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
Rybakov, V. Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations Until and Since based on bundles of integer numbers, logical consecutions, deciding algorithms. (English) Zbl 1148.03011 Theory Comput. Syst. 43, No. 2, 254-271 (2008). MSC: 03B44 03B25 03B70 PDFBibTeX XMLCite \textit{V. Rybakov}, Theory Comput. Syst. 43, No. 2, 254--271 (2008; Zbl 1148.03011) Full Text: DOI
Rybakov, V. V. Logical consecutions in discrete linear temporal logic. (English) Zbl 1110.03010 J. Symb. Log. 70, No. 4, 1137-1149 (2005). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B44 PDFBibTeX XMLCite \textit{V. V. Rybakov}, J. Symb. Log. 70, No. 4, 1137--1149 (2005; Zbl 1110.03010) Full Text: DOI
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. V. Hereditarily structurally complete modal logics. (English) Zbl 0836.03014 J. Symb. Log. 60, No. 1, 266-288 (1995). Reviewer: U.Scheffler (Berlin) MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rybakov}, J. Symb. Log. 60, No. 1, 266--288 (1995; Zbl 0836.03014) Full Text: DOI
Rybakov, Vladimir V. Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. (English) Zbl 0807.03016 Stud. Log. 53, No. 2, 203-225 (1994). Reviewer: M.Zakharyashev (Moskva) MSC: 03B55 03B45 03B25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Stud. Log. 53, No. 2, 203--225 (1994; Zbl 0807.03016) Full Text: DOI
Rybakov, V. V. Semantic admissibility criteria for deduction rules in S4 and Int. (English. Russian original) Zbl 0745.03016 Math. Notes 50, No. 1, 714-718 (1991); translation from Mat. Zametki 50, No. 1, 84-91 (1991). MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Math. Notes 50, No. 1, 714--718 (1991; Zbl 0745.03016); translation from Mat. Zametki 50, No. 1, 84--91 (1991) Full Text: DOI
Rybakov, V. V. Solvability of logical equations in the modal system Grz and intuitionistic logic. (English. Russian original) Zbl 0742.03005 Sib. Math. J. 32, No. 2, 297-308 (1991); translation from Sib. Mat. Zh. 32, No. 2(186), 140-153 (1991). MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Sib. Math. J. 32, No. 2, 297--308 (1991; Zbl 0742.03005); translation from Sib. Mat. Zh. 32, No. 2(186), 140--153 (1991) Full Text: DOI
Rybakov, V. V. Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus. (English) Zbl 0709.03009 Ann. Pure Appl. Logic 50, No. 1, 71-106 (1990). MSC: 03B45 03B20 03B25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Ann. Pure Appl. Logic 50, No. 1, 71--106 (1990; Zbl 0709.03009) Full Text: DOI
Rybakov, V. V. Equations in free topoboolean algebra. (English. Russian original) Zbl 0624.03007 Algebra Logic 25, 109-127 (1986); translation from Algebra Logika 25, No. 2, 172-204 (1986). Reviewer: S.Rudeanu MSC: 03B25 03G10 06B25 08B20 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Algebra Logic 25, 109--127 (1986; Zbl 0624.03007); translation from Algebra Logika 25, No. 2, 172--204 (1986) Full Text: DOI EuDML
Rybakov, V. V. Bases of admissible rules of the logics S4 and Int. (English. Russian original) Zbl 0598.03014 Algebra Logic 24, 55-68 (1985); translation from Algebra Logika 24, No. 1, 87-107 (1985). Reviewer: G.E.Mints MSC: 03B45 03F50 03B25 03B55 03B60 03G25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Algebra Logic 24, 55--68 (1985; Zbl 0598.03014); translation from Algebra Logika 24, No. 1, 87--107 (1985) Full Text: DOI EuDML
Rybakov, V. V. A criterion for admissibility of rules in the modal system S4 and intuitionistic logic. (English. Russian original) Zbl 0598.03013 Algebra Logic 23, 369-384 (1984); translation from Algebra Logika 23, No. 5, 546-572 (1984). Reviewer: V.B.Shekhtman MSC: 03B45 03F50 03B25 03B55 03B60 03G25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Algebra Logic 23, 369--384 (1984; Zbl 0598.03013); translation from Algebra Logika 23, No. 5, 546--572 (1984) Full Text: DOI EuDML