Rimatskiy, V. V. Admissible inference rules of modal WCP-logics. (English. Russian original) Zbl 07804699 Sib. Math. J. 65, No. 1, 153-166 (2024); translation from Sib. Mat. Zh. 65, No. 1, 180-197 (2024). MSC: 03Bxx 03Fxx 03-XX PDFBibTeX XMLCite \textit{V. V. Rimatskiy}, Sib. Math. J. 65, No. 1, 153--166 (2024; Zbl 07804699); translation from Sib. Mat. Zh. 65, No. 1, 180--197 (2024) Full Text: DOI
Rimatskii, V. V. An explicit basis for WCP-globally admissible inference rules. (English. Russian original) Zbl 07809056 Algebra Logic 62, No. 2, 148-165 (2023); translation from Algebra Logika 62, No. 2, 219-246 (2023). MSC: 03-XX 20-XX PDFBibTeX XMLCite \textit{V. V. Rimatskii}, Algebra Logic 62, No. 2, 148--165 (2023; Zbl 07809056); translation from Algebra Logika 62, No. 2, 219--246 (2023) Full Text: DOI
Rimatskii, Vitalii V. Explicit basis for admissible rules in \(K\)-saturated tabular logics. (English. Russian original) Zbl 07688763 Discrete Math. Appl. 33, No. 2, 105-115 (2023); translation from Diskretn. Mat. 34, No. 1, 126-140 (2022). MSC: 03Bxx 03-XX 03Gxx PDFBibTeX XMLCite \textit{V. V. Rimatskii}, Discrete Math. Appl. 33, No. 2, 105--115 (2023; Zbl 07688763); translation from Diskretn. Mat. 34, No. 1, 126--140 (2022) Full Text: DOI
Carl, Merlin; Galeotti, Lorenzo; Passmann, Robert Realisability for infinitary intuitionistic set theory. (English) Zbl 07680007 Ann. Pure Appl. Logic 174, No. 6, Article ID 103259, 29 p. (2023). MSC: 03B20 03D60 03E70 03F50 03F65 PDFBibTeX XMLCite \textit{M. Carl} et al., Ann. Pure Appl. Logic 174, No. 6, Article ID 103259, 29 p. (2023; Zbl 07680007) Full Text: DOI arXiv
Carvalho, Rodrigo; Fernandes, Gabriel; Junqueira, Lúcia R. Partitions of topological spaces and a new club-like principle. (English) Zbl 1511.54009 Proc. Am. Math. Soc. 151, No. 4, 1787-1800 (2023). Reviewer: Akira Iwasa (Big Spring) MSC: 54B05 03E05 03E75 54A35 54G12 03E02 03E35 PDFBibTeX XMLCite \textit{R. Carvalho} et al., Proc. Am. Math. Soc. 151, No. 4, 1787--1800 (2023; Zbl 1511.54009) Full Text: DOI arXiv
van der Giessen, Iris Admissible rules for six intuitionistic modal logics. (English) Zbl 07653729 Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023). MSC: 03F03 03B20 03B45 03F45 PDFBibTeX XMLCite \textit{I. van der Giessen}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023; Zbl 07653729) Full Text: DOI
Rimatskiĭ, Vitaliĭ Valentinovich Globally admissible inference rules. (English) Zbl 07656248 Izv. Irkutsk. Gos. Univ., Ser. Mat. 42, 138-160 (2022). MSC: 03F25 03B35 PDFBibTeX XMLCite \textit{V. V. Rimatskiĭ}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 42, 138--160 (2022; Zbl 07656248) Full Text: DOI Link
Kanovei, Vladimir; Lyubetsky, Vassily On the ‘definability of definable’ problem of Alfred Tarski. II. (English) Zbl 07612776 Trans. Am. Math. Soc. 375, No. 12, 8651-8686 (2022). MSC: 03E35 03E15 03E47 03B38 PDFBibTeX XMLCite \textit{V. Kanovei} and \textit{V. Lyubetsky}, Trans. Am. Math. Soc. 375, No. 12, 8651--8686 (2022; Zbl 07612776) Full Text: DOI
Rimatskiy, Vytalii Valentinovich Description of modal logics which enjoy co-cover property. (English) Zbl 07593949 Sib. Èlektron. Mat. Izv. 19, No. 1, 316-325 (2022). MSC: 03F25 03B35 PDFBibTeX XMLCite \textit{V. V. Rimatskiy}, Sib. Èlektron. Mat. Izv. 19, No. 1, 316--325 (2022; Zbl 07593949) Full Text: DOI
Galeotti, Lorenzo; Löwe, Benedikt Order types of models of fragments of Peano arithmetic. (English) Zbl 1504.03019 Bull. Symb. Log. 28, No. 2, 182-206 (2022). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 03C64 06A05 08A99 PDFBibTeX XMLCite \textit{L. Galeotti} and \textit{B. Löwe}, Bull. Symb. Log. 28, No. 2, 182--206 (2022; Zbl 1504.03019) Full Text: DOI
Holický, Petr; Zelený, Miroslav There is no bound on Borel classes of graphs in the Luzin-Novikov theorem. (English) Zbl 07507068 Diss. Math. 576, 1-77 (2022). MSC: 03E15 28A05 54H05 PDFBibTeX XMLCite \textit{P. Holický} and \textit{M. Zelený}, Diss. Math. 576, 1--77 (2022; Zbl 07507068) Full Text: DOI arXiv
Rybakov, Vladimir V. Multi-agents’ temporal logic using operations of static agents’ knowledge. (English) Zbl 07503907 J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 114-124 (2022). MSC: 03Bxx 68Txx 03-XX PDFBibTeX XMLCite \textit{V. V. Rybakov}, J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 114--124 (2022; Zbl 07503907) Full Text: DOI MNR
Santos, Paulo Guilherme; Kahle, Reinhard Variants of Kreisel’s conjecture on a new notion of provability. (English) Zbl 07482176 Bull. Symb. Log. 27, No. 4, 337-350 (2021). MSC: 03F30 03F03 PDFBibTeX XMLCite \textit{P. G. Santos} and \textit{R. Kahle}, Bull. Symb. Log. 27, No. 4, 337--350 (2021; Zbl 07482176) Full Text: DOI
Goudsmit, Jeroen P. Decidability of admissibility: on a problem by Friedman and its solution by Rybakov. (English) Zbl 07379165 Bull. Symb. Log. 27, No. 1, 1-38 (2021). MSC: 03B20 03B22 03B55 PDFBibTeX XMLCite \textit{J. P. Goudsmit}, Bull. Symb. Log. 27, No. 1, 1--38 (2021; Zbl 07379165) Full Text: DOI
Rybakov, Vladimir Vladimirovich Temporal logic with accessibility temporal relations generated by time states themselves. (English) Zbl 1437.03081 Sib. Èlektron. Mat. Izv. 17, 923-932 (2020). MSC: 03B44 68T27 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Sib. Èlektron. Mat. Izv. 17, 923--932 (2020; Zbl 1437.03081) Full Text: DOI
Rybakov, Vladimir V. Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. (English) Zbl 1429.03074 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 219-243 (2018). MSC: 03B44 03B25 03B47 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Outst. Contrib. Log. 15, 219--243 (2018; Zbl 1429.03074) Full Text: DOI
Balbiani, Philippe; Gencer, Çiğdem \(KD\) is nullary. (English) Zbl 1398.03086 J. Appl. Non-Class. Log. 27, No. 3-4, 196-205 (2017). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{Ç. Gencer}, J. Appl. Non-Class. Log. 27, No. 3--4, 196--205 (2017; Zbl 1398.03086) Full Text: DOI
Rybakov, Vladimir Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. (English) Zbl 1474.68340 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 364-375 (2016). MSC: 68T27 03B42 03B44 68T30 68T42 PDFBibTeX XMLCite \textit{V. Rybakov}, Lect. Notes Comput. Sci. 9537, 364--375 (2016; Zbl 1474.68340) Full Text: DOI Link
Citkin, Alex Multiple conclusion rules in logics with the disjunction property. (English) Zbl 1476.03035 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 76-89 (2016). MSC: 03B55 PDFBibTeX XMLCite \textit{A. Citkin}, Lect. Notes Comput. Sci. 9537, 76--89 (2016; Zbl 1476.03035) Full Text: DOI arXiv
Rasga, João; Sernadas, Cristina; Sernadas, Amílcar Preservation of admissible rules when combining logics. (English) Zbl 1397.03049 Rev. Symb. Log. 9, No. 4, 641-663 (2016). Reviewer: Branislav Boričić (Beograd) MSC: 03B62 PDFBibTeX XMLCite \textit{J. Rasga} et al., Rev. Symb. Log. 9, No. 4, 641--663 (2016; Zbl 1397.03049) Full Text: DOI arXiv
Goudsmit, Jeroen P. Finite frames fail: how infinity works its way into the semantics of admissibility. (English) Zbl 1417.03199 Stud. Log. 104, No. 6, 1191-1204 (2016). MSC: 03B55 06D20 06D22 PDFBibTeX XMLCite \textit{J. P. Goudsmit}, Stud. Log. 104, No. 6, 1191--1204 (2016; Zbl 1417.03199) Full Text: DOI
Bezhanishvili, Nick; Gabelaia, David; Ghilardi, Silvio; Jibladze, Mamuka Admissible bases via stable canonical rules. (English) Zbl 1397.03016 Stud. Log. 104, No. 2, 317-341 (2016). Reviewer: Branislav Boričić (Beograd) MSC: 03B20 03B25 03B45 PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Stud. Log. 104, No. 2, 317--341 (2016; Zbl 1397.03016) Full Text: DOI
Dzik, Wojciech; Stronkowski, Michał M. Almost structural completeness; an algebraic approach. (English) Zbl 1433.08003 Ann. Pure Appl. Logic 167, No. 7, 525-556 (2016). MSC: 08C15 03G27 03B45 06E25 PDFBibTeX XMLCite \textit{W. Dzik} and \textit{M. M. Stronkowski}, Ann. Pure Appl. Logic 167, No. 7, 525--556 (2016; Zbl 1433.08003) Full Text: DOI arXiv
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
Goudsmit, Jeroen P. Admissibility and refutation: some characterisations of intermediate logics. (English) Zbl 1338.03050 Arch. Math. Logic 53, No. 7-8, 779-808 (2014). MSC: 03B55 03B20 PDFBibTeX XMLCite \textit{J. P. Goudsmit}, Arch. Math. Logic 53, No. 7--8, 779--808 (2014; Zbl 1338.03050) Full Text: DOI Link
Goudsmit, Jeroen P.; Iemhoff, Rosalie On unification and admissible rules in Gabbay-de Jongh logics. (English) Zbl 1316.03016 Ann. Pure Appl. Logic 165, No. 2, 652-672 (2014). Reviewer: Alex Citkin (Warren) MSC: 03B55 03B20 03B22 03B70 PDFBibTeX XMLCite \textit{J. P. Goudsmit} and \textit{R. Iemhoff}, Ann. Pure Appl. Logic 165, No. 2, 652--672 (2014; Zbl 1316.03016) Full Text: DOI
Goudsmit, Jeroen A note on extensions: admissible rules via semantics. (English) Zbl 1437.03105 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 206-218 (2013). MSC: 03B55 PDFBibTeX XMLCite \textit{J. Goudsmit}, Lect. Notes Comput. Sci. 7734, 206--218 (2013; Zbl 1437.03105) 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
Beyersdorff, Olaf; Kutz, Oliver Proof complexity of non-classical logics. (English) Zbl 1250.03116 Bezhanishvili, Nick (ed.) et al., Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes. Berlin: Springer (ISBN 978-3-642-31484-1/pbk). Lecture Notes in Computer Science 7388, 1-54 (2012). MSC: 03F20 03B20 03B45 03B60 68T27 PDFBibTeX XMLCite \textit{O. Beyersdorff} and \textit{O. Kutz}, Lect. Notes Comput. Sci. 7388, 1--54 (2012; Zbl 1250.03116) Full Text: DOI Link
Yu, Liang A new proof of Friedman’s conjecture. (English) Zbl 1242.03064 Bull. Symb. Log. 17, No. 3, 455-461 (2011). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{L. Yu}, Bull. Symb. Log. 17, No. 3, 455--461 (2011; Zbl 1242.03064) Full Text: DOI Link
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
Cintula, Petr; Metcalfe, George Admissible rules in the implication-negation fragment of intuitionistic logic. (English) Zbl 1225.03011 Ann. Pure Appl. Logic 162, No. 2, 162-171 (2010). MSC: 03B20 03B22 03B55 PDFBibTeX XMLCite \textit{P. Cintula} and \textit{G. Metcalfe}, Ann. Pure Appl. Logic 162, No. 2, 162--171 (2010; Zbl 1225.03011) 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
Urquhart, Alasdair Anderson and Belnap’s invitation to sin. (English) Zbl 1207.03028 J. Philos. Log. 39, No. 4, 453-472 (2010). MSC: 03B45 01A60 03-03 PDFBibTeX XMLCite \textit{A. Urquhart}, J. Philos. Log. 39, No. 4, 453--472 (2010; Zbl 1207.03028) Full Text: DOI
Rimatskii, V. V. An explicit basis for admissible inference rules in table modal logics of width 2. (English. Russian original) Zbl 1241.03023 Algebra Logic 48, No. 1, 72-86 (2009); translation from Algebra Logika 48, No. 1, 122-148 (2009). MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rimatskii}, Algebra Logic 48, No. 1, 72--86 (2009; Zbl 1241.03023); translation from Algebra Logika 48, No. 1, 122--148 (2009) Full Text: DOI
Cavagnetto, S. The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem. (English) Zbl 1207.03071 J. Math. Sci., New York 158, No. 5, 689-707 (2009) and Zap. Nauchn. Semin. POMI 358, 153-188 (2008). Reviewer: Emil Jeřábek (Praha) MSC: 03F07 03F20 03F30 03F40 PDFBibTeX XMLCite \textit{S. Cavagnetto}, J. Math. Sci., New York 158, No. 5, 689--707 (2009; Zbl 1207.03071) Full Text: DOI
Iemhoff, Rosalie; Metcalfe, George Proof theory for admissible rules. (English) Zbl 1174.03024 Ann. Pure Appl. Logic 159, No. 1-2, 171-186 (2009). Reviewer: Emil Jeřábek (Praha) MSC: 03F07 03B20 03B45 PDFBibTeX XMLCite \textit{R. Iemhoff} and \textit{G. Metcalfe}, Ann. Pure Appl. Logic 159, No. 1--2, 171--186 (2009; Zbl 1174.03024) Full Text: DOI Link
Rimatskiĭ, Vitaliĭ V. An explicit basis for admissible rules of modal logics of finite width. (Russian. English summary) Zbl 1510.03014 J. Sib. Fed. Univ., Math. Phys. 1, No. 1, 83-91 (2008). MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{V. V. Rimatskiĭ}, J. Sib. Fed. Univ., Math. Phys. 1, No. 1, 83--91 (2008; Zbl 1510.03014) Full Text: MNR
Lewis, Andrew E. M. On a question of Slaman and Groszek. (English) Zbl 1155.03024 Proc. Am. Math. Soc. 136, No. 10, 3663-3668 (2008). Reviewer: Daniela Marinescu (Braşov) MSC: 03D28 PDFBibTeX XMLCite \textit{A. E. M. Lewis}, Proc. Am. Math. Soc. 136, No. 10, 3663--3668 (2008; Zbl 1155.03024) Full Text: DOI
Rybakov, V. Linear temporal logic with until and next, logical consecutions. (English) Zbl 1147.03008 Ann. Pure Appl. Logic 155, No. 1, 32-45 (2008). MSC: 03B44 03B25 03B70 PDFBibTeX XMLCite \textit{V. Rybakov}, Ann. Pure Appl. Logic 155, No. 1, 32--45 (2008; Zbl 1147.03008) Full Text: DOI
Bovykin, Andrey Resplendent models and \({\Sigma_1^1}\)-definability with an oracle. (English) Zbl 1160.03009 Arch. Math. Logic 47, No. 6, 607-623 (2008). Reviewer: M. Yasuhara (Princeton) MSC: 03C07 03C50 03C62 03C30 PDFBibTeX XMLCite \textit{A. Bovykin}, Arch. Math. Logic 47, No. 6, 607--623 (2008; Zbl 1160.03009) Full Text: DOI
Baaz, Matthias; Wojtylak, Piotr [Kreisel, Georg] Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (English) Zbl 1153.03040 Ann. Pure Appl. Logic 154, No. 2, 71-138 (2008). Reviewer: G. E. Mints (Stanford) MSC: 03F03 03F07 03F30 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{P. Wojtylak}, Ann. Pure Appl. Logic 154, No. 2, 71--138 (2008; Zbl 1153.03040) 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
Jeřábek, Emil Complexity of admissible rules. (English) Zbl 1115.03010 Arch. Math. Logic 46, No. 2, 73-92 (2007). Reviewer: G. E. Mints (Stanford) MSC: 03B45 03B55 03D15 68Q17 PDFBibTeX XMLCite \textit{E. Jeřábek}, Arch. Math. Logic 46, No. 2, 73--92 (2007; Zbl 1115.03010) Full Text: DOI
Väänänen, Jouko Barwise: Abstract model theory and generalized quantifiers. (English) Zbl 1074.03017 Bull. Symb. Log. 10, No. 1, 37-53 (2004). Reviewer: Daniele Mundici (Firenze) MSC: 03C80 03C95 03C75 03-02 03-03 01A60 PDFBibTeX XMLCite \textit{J. Väänänen}, Bull. Symb. Log. 10, No. 1, 37--53 (2004; Zbl 1074.03017) Full Text: DOI
Visser, Albert Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic. (English) Zbl 1009.03029 Ann. Pure Appl. Logic 114, No. 1-3, 227-271 (2002). Reviewer: M.Yasuhara (Princeton) MSC: 03F55 03F30 03F45 03B20 PDFBibTeX XMLCite \textit{A. Visser}, Ann. Pure Appl. Logic 114, No. 1--3, 227--271 (2002; Zbl 1009.03029) Full Text: DOI
Velickovic, Boban; Woodin, W. Hugh Complexity of reals in inner models of set theory. (English) Zbl 0926.03063 Ann. Pure Appl. Logic 92, No. 3, 283-295 (1998). MSC: 03E45 03E15 03E35 PDFBibTeX XMLCite \textit{B. Velickovic} and \textit{W. H. Woodin}, Ann. Pure Appl. Logic 92, No. 3, 283--295 (1998; Zbl 0926.03063) Full Text: DOI arXiv
Parikh, Rohit (ed.) 1997-1998 Winter Meeting of the Association for Symbolic Logic. Baltimore, Maryland, January 9-10, 1998. (English) Zbl 0925.03004 Bull. Symb. Log. 4, No. 2, 217-224 (1998). MSC: 03-06 PDFBibTeX XMLCite \textit{R. Parikh} (ed.), Bull. Symb. Log. 4, No. 2, 217--224 (1998; Zbl 0925.03004) Full Text: DOI Link
Groszek, Marcia J.; Slaman, Theodore A. A basis theorem for perfect sets. (English) Zbl 0937.03058 Bull. Symb. Log. 4, No. 2, 204-209 (1998). MSC: 03E45 PDFBibTeX XMLCite \textit{M. J. Groszek} and \textit{T. A. Slaman}, Bull. Symb. Log. 4, No. 2, 204--209 (1998; Zbl 0937.03058) Full Text: DOI Link
Avellone, Alessandro; Fiorentini, Camillo; Mantovani, Paolo; Miglioli, Pierangelo On maximal intermediate predicate constructive logics. (English) Zbl 0871.03016 Stud. Log. 57, No. 2-3, 373-408 (1996). Reviewer: L.A.Chagrova (Tver’) MSC: 03B55 03C90 PDFBibTeX XMLCite \textit{A. Avellone} et al., Stud. Log. 57, No. 2--3, 373--408 (1996; Zbl 0871.03016) Full Text: DOI
Goldfarb, Warren In memoriam: George Stephen Boolos 1940-1996. (English) Zbl 0867.01021 Bull. Symb. Log. 2, No. 4, 444-447 (1996). MSC: 01A70 01A60 PDFBibTeX XMLCite \textit{W. Goldfarb}, Bull. Symb. Log. 2, No. 4, 444--447 (1996; Zbl 0867.01021) Full Text: DOI Link
Rozière, Paul Admissible and derivable rules in intuitionistic logic. (English) Zbl 0797.03001 Math. Struct. Comput. Sci. 3, No. 2, 129-136 (1993). Reviewer: M.Zakharyashev (Moskva) MSC: 03B20 PDFBibTeX XMLCite \textit{P. Rozière}, Math. Struct. Comput. Sci. 3, No. 2, 129--136 (1993; Zbl 0797.03001) Full Text: DOI
Farmer, William M. The Kreisel length-of-proof problem. (English) Zbl 0865.03044 Ann. Math. Artif. Intell. 6, No. 1-3, 27-56 (1992). MSC: 03F20 PDFBibTeX XMLCite \textit{W. M. Farmer}, Ann. Math. Artif. Intell. 6, No. 1--3, 27--56 (1992; Zbl 0865.03044) 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. Logical equations and admissible rules of inference with parameters in modal provability logics. (English) Zbl 0729.03012 Stud. Log. 49, No. 2, 215-239 (1990). Reviewer: V.V.Rybakov MSC: 03B45 03F40 03B25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Stud. Log. 49, No. 2, 215--239 (1990; Zbl 0729.03012) Full Text: DOI
Shekhtman, Valentin Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. (English) Zbl 0724.03017 Stud. Log. 49, No. 3, 365-385 (1990). Reviewer: S.Miura (Okazaki/Aichi) MSC: 03B45 03B55 05C90 PDFBibTeX XMLCite \textit{V. Shekhtman}, Stud. Log. 49, No. 3, 365--385 (1990; Zbl 0724.03017) 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
Orevkov, V. P. Remark on Kreisel’s conjecture. (English. Russian original) Zbl 0779.03021 J. Sov. Math. 59, No. 3, 850-855 (1992); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 176, 118-126 (1989). MSC: 03F20 03F30 PDFBibTeX XML Full Text: DOI
Krajíček, Jan On the number of steps in proofs. (English) Zbl 0672.03042 Ann. Pure Appl. Logic 41, No. 2, 153-178 (1989). Reviewer: S.Artemov MSC: 03F20 03F05 03F07 PDFBibTeX XMLCite \textit{J. Krajíček}, Ann. Pure Appl. Logic 41, No. 2, 153--178 (1989; Zbl 0672.03042) Full Text: DOI
Goryachev, S. V. Interpretability of various extensions of arithmetic. (English. Russian original) Zbl 0632.03044 Math. Notes 40, 821-827 (1986); translation from Mat. Zametki 40, No. 5, 561-571 (1986). Reviewer: S.Artemov MSC: 03F25 03F07 03B45 PDFBibTeX XMLCite \textit{S. V. Goryachev}, Math. Notes 40, 821--827 (1986; Zbl 0632.03044); translation from Mat. Zametki 40, No. 5, 561--571 (1986) Full Text: DOI
Carlson, Tim Modal logics with several operators and probability interpretations. (English) Zbl 0625.03007 Isr. J. Math. 54, 14-24 (1986). Reviewer: S.Artemov MSC: 03B45 03F07 03F30 03B25 PDFBibTeX XMLCite \textit{T. Carlson}, Isr. J. Math. 54, 14--24 (1986; Zbl 0625.03007) 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. Elementary theories of free topo-Boolean and pseudo-Boolean algebras. (English. Russian original) Zbl 0593.03041 Math. Notes 37, 435-438 (1985); translation from Mat. Zametki 37, No. 6, 797-802 (1985). MSC: 03G10 03B45 03B55 03D35 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Math. Notes 37, 435--438 (1985; Zbl 0593.03041); translation from Mat. Zametki 37, No. 6, 797--802 (1985) Full Text: DOI
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
Peretyat’kin, M. G. Turing machine computations in finitely axiomatizable theories. (English. Russian original) Zbl 0567.03014 Algebra Logic 21, 272-295 (1983); translation from Algebra Logika 21, No. 4, 410-441 (1982). MSC: 03D10 03C57 PDFBibTeX XMLCite \textit{M. G. Peretyat'kin}, Algebra Logic 21, 272--295 (1983; Zbl 0567.03014); translation from Algebra Logika 21, No. 4, 410--441 (1982) Full Text: DOI EuDML
Shelah, Saharon Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\). (English) Zbl 0552.03019 Isr. J. Math. 46, 212-273 (1983). Reviewer: O.Štěpánková MSC: 03C52 03C45 03C70 PDFBibTeX XMLCite \textit{S. Shelah}, Isr. J. Math. 46, 212--273 (1983; Zbl 0552.03019) Full Text: DOI
Mundici, Daniele Duality between logics and equivalence relations. (English) Zbl 0497.03018 Trans. Am. Math. Soc. 270, 111-129 (1982). MSC: 03C30 PDFBibTeX XMLCite \textit{D. Mundici}, Trans. Am. Math. Soc. 270, 111--129 (1982; Zbl 0497.03018) Full Text: DOI
Rybakov, V. V. Admissible rules for pretable modal logics. (English) Zbl 0496.03008 Algebra Logic 20, 291-307 (1982). MSC: 03B45 03B25 03B55 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Algebra Logic 20, 291--307 (1982; Zbl 0496.03008) Full Text: DOI
Shelah, Saharon Iterated forcing and changing cofinalities. (English) Zbl 0476.03055 Isr. J. Math. 40, 1-32 (1981). MSC: 03E55 03E40 03E35 PDFBibTeX XMLCite \textit{S. Shelah}, Isr. J. Math. 40, 1--32 (1981; Zbl 0476.03055) Full Text: DOI
Maass, Wolfgang; Shore, Richard A.; Stob, Michael Splitting properties and jump classes. (English) Zbl 0469.03026 Isr. J. Math. 39, 210-224 (1981). MSC: 03D25 PDFBibTeX XMLCite \textit{W. Maass} et al., Isr. J. Math. 39, 210--224 (1981; Zbl 0469.03026) Full Text: DOI
Peretyat’kin, M. G. Example of an \(omega_ 1-\)categorical complete finitely axiomatizable theory. (English. Russian original) Zbl 0468.03016 Algebra Logic 19, 202-229 (1981); translation from Algebra Logika 19, 314-347 (1980). MSC: 03C35 PDFBibTeX XMLCite \textit{M. G. Peretyat'kin}, Algebra Logic 19, 202--229 (1981; Zbl 0468.03016); translation from Algebra Logika 19, 314--347 (1980) Full Text: DOI EuDML
Prucnal, Tadeusz On two problems of Harvey Friedman. (English) Zbl 0436.03018 Stud. Log. 38, 247-262 (1979). MSC: 03B55 03B45 PDFBibTeX XMLCite \textit{T. Prucnal}, Stud. Log. 38, 247--262 (1979; Zbl 0436.03018) Full Text: DOI
Mathias, A. R. D. Surrealist landscape with figures (a survey of recent results in set theory). (English) Zbl 0417.03021 Period. Math. Hung. 10, 109-175 (1979). MSC: 03Exx 03-02 03E15 03E25 03E70 03E35 03E45 03E50 03E55 03E60 03E65 PDFBibTeX XMLCite \textit{A. R. D. Mathias}, Period. Math. Hung. 10, 109--175 (1979; Zbl 0417.03021) Full Text: DOI
Shelah, Saharon Decomposing uncountable squares to countably many chains. (English) Zbl 0366.04009 J. Comb. Theory, Ser. A 21, 110-114 (1976). MSC: 03E05 PDFBibTeX XMLCite \textit{S. Shelah}, J. Comb. Theory, Ser. A 21, 110--114 (1976; Zbl 0366.04009) Full Text: DOI
Mansfield, Richard; Dawson, John Boolean-valued set theory and forcing. (English) Zbl 0362.02064 Synthese 33, 223-252 (1976). MSC: 03E35 03E70 PDFBibTeX XMLCite \textit{R. Mansfield} and \textit{J. Dawson}, Synthese 33, 223--252 (1976; Zbl 0362.02064) Full Text: DOI
Shelah, Saharon Refuting Ehrenfeucht conjecture on rigid models. (English) Zbl 0359.02053 Isr. J. Math. 25, 273-286 (1976). Reviewer: K. Hauschild MSC: 03C68 PDFBibTeX XMLCite \textit{S. Shelah}, Isr. J. Math. 25, 273--286 (1976; Zbl 0359.02053) Full Text: DOI
Solovay, Robert M. Provability interpretations of modal logic. (English) Zbl 0352.02019 Isr. J. Math. 25, 287-304 (1976). MSC: 03B45 PDFBibTeX XMLCite \textit{R. M. Solovay}, Isr. J. Math. 25, 287--304 (1976; Zbl 0352.02019) Full Text: DOI