Nguyen, Danny; Pak, Igor Short Presburger arithmetic is hard. (English) Zbl 07516620 SIAM J. Comput. 51, No. 2, STOC17-1-STOC17-30 (2022). MSC: 68Q17 68Q25 03D15 90C10 03B10 03B70 PDF BibTeX XML Cite \textit{D. Nguyen} and \textit{I. Pak}, SIAM J. Comput. 51, No. 2, STOC17--1-STOC17--30 (2022; Zbl 07516620) Full Text: DOI OpenURL
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. Parameterized complexity of elimination distance to first-order logic properties. (English) Zbl 07516330 ACM Trans. Comput. Log. 23, No. 3, Article No. 17, 35 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{F. V. Fomin} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 17, 35 p. (2022; Zbl 07516330) Full Text: DOI OpenURL
Czédli, Gábor Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures. (English) Zbl 07511505 Arch. Math., Brno 58, No. 1, 15-33 (2022). MSC: 03C13 06C10 PDF BibTeX XML Cite \textit{G. Czédli}, Arch. Math., Brno 58, No. 1, 15--33 (2022; Zbl 07511505) Full Text: DOI OpenURL
Malyshkin, Y. A. \( \gamma \)-variable first-order logic of preferential attachment random graphs. (English) Zbl 07510703 Discrete Appl. Math. 314, 223-227 (2022). MSC: 05C80 03B10 60F05 03C13 PDF BibTeX XML Cite \textit{Y. A. Malyshkin}, Discrete Appl. Math. 314, 223--227 (2022; Zbl 07510703) Full Text: DOI OpenURL
Matushkin, A. D.; Popova, S. N. Strictly balanced uniform hypergraphs and generalizations of zero-one law. (English) Zbl 07506215 Discrete Math. 345, No. 6, Article ID 112835, 18 p. (2022). MSC: 05C65 05C80 60C05 03B10 PDF BibTeX XML Cite \textit{A. D. Matushkin} and \textit{S. N. Popova}, Discrete Math. 345, No. 6, Article ID 112835, 18 p. (2022; Zbl 07506215) Full Text: DOI OpenURL
Barton, Neil; Müller, Moritz; Prunescu, Mihai On representations of intended structures in foundational theories. (English) Zbl 07502595 J. Philos. Log. 51, No. 2, 283-296 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Barton} et al., J. Philos. Log. 51, No. 2, 283--296 (2022; Zbl 07502595) Full Text: DOI OpenURL
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime. (English) Zbl 07501987 Ann. Pure Appl. Logic 173, No. 5, Article ID 103100, 25 p. (2022). MSC: 03B30 83A05 03B10 03C40 03G99 PDF BibTeX XML Cite \textit{H. Andréka} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103100, 25 p. (2022; Zbl 07501987) Full Text: DOI OpenURL
Beklemishev, Lev D.; Pakhomov, Fedor N. Reflection algebras and conservation results for theories of iterated truth. (English) Zbl 07501986 Ann. Pure Appl. Logic 173, No. 5, Article ID 103093, 41 p. (2022). MSC: 03F15 03F30 03F35 03F45 PDF BibTeX XML Cite \textit{L. D. Beklemishev} and \textit{F. N. Pakhomov}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103093, 41 p. (2022; Zbl 07501986) Full Text: DOI OpenURL
Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco From axioms to synthetic inference rules via focusing. (English) Zbl 07501985 Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022). MSC: 03F03 03B10 03B20 03F07 PDF BibTeX XML Cite \textit{S. Marin} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022; Zbl 07501985) Full Text: DOI OpenURL
Aguilera, J. P.; Baaz, M.; Bydžovský, J. The number of axioms. (English) Zbl 07501980 Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022). MSC: 03F03 03F20 03B10 03F07 PDF BibTeX XML Cite \textit{J. P. Aguilera} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022; Zbl 07501980) Full Text: DOI OpenURL
Walicki, Michał Extensions in graph normal form. (English) Zbl 07500474 Log. J. IGPL 30, No. 1, 101-123 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Walicki}, Log. J. IGPL 30, No. 1, 101--123 (2022; Zbl 07500474) Full Text: DOI OpenURL
Badia, Guillermo; Noguera, Carles Saturated models of first-order many-valued logics. (English) Zbl 07500469 Log. J. IGPL 30, No. 1, 1-20 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{G. Badia} and \textit{C. Noguera}, Log. J. IGPL 30, No. 1, 1--20 (2022; Zbl 07500469) Full Text: DOI OpenURL
Kürbis, Nils Normalisation and subformula property for a system of classical logic with Tarski’s rule. (English) Zbl 07495456 Arch. Math. Logic 61, No. 1-2, 105-129 (2022). MSC: 03B05 03B10 03B20 03F05 PDF BibTeX XML Cite \textit{N. Kürbis}, Arch. Math. Logic 61, No. 1--2, 105--129 (2022; Zbl 07495456) Full Text: DOI OpenURL
Malyshkin, Y. A.; Zhukovskii, M. E. \(\gamma\)-variable first-order logic of uniform attachment random graphs. (English) Zbl 07488429 Discrete Math. 345, No. 5, Article ID 112802, 12 p. (2022). MSC: 05C80 03Cxx 60Fxx PDF BibTeX XML Cite \textit{Y. A. Malyshkin} and \textit{M. E. Zhukovskii}, Discrete Math. 345, No. 5, Article ID 112802, 12 p. (2022; Zbl 07488429) Full Text: DOI arXiv OpenURL
Podder, Moumanti; Zhukovskii, Maksim Zero-one laws for existential first-order sentences of bounded quantifier depth. (English) Zbl 07480999 ACM Trans. Comput. Log. 23, No. 2, Article No. 12, 27 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Podder} and \textit{M. Zhukovskii}, ACM Trans. Comput. Log. 23, No. 2, Article No. 12, 27 p. (2022; Zbl 07480999) Full Text: DOI arXiv OpenURL
Kiefer, Sandra; Neuen, Daniel The power of the Weisfeiler-Leman algorithm to decompose graphs. (English) Zbl 07471549 SIAM J. Discrete Math. 36, No. 1, 252-298 (2022). MSC: 68R10 68R05 68Q25 68W40 05C85 PDF BibTeX XML Cite \textit{S. Kiefer} and \textit{D. Neuen}, SIAM J. Discrete Math. 36, No. 1, 252--298 (2022; Zbl 07471549) Full Text: DOI arXiv OpenURL
Andrews, Uri; Lempp, Steffen; Mustafa, Manat; Schweber, Noah D. The first-order theory of the computably enumerable equivalence relations in the uncountable setting. (English) Zbl 07471451 J. Log. Comput. 32, No. 1, 98-114 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{U. Andrews} et al., J. Log. Comput. 32, No. 1, 98--114 (2022; Zbl 07471451) Full Text: DOI OpenURL
Maddux, Roger D. Tarskian classical relevant logic. (English) Zbl 07469206 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 67-161 (2022). MSC: 03Bxx 03Gxx PDF BibTeX XML Cite \textit{R. D. Maddux}, Outst. Contrib. Log. 22, 67--161 (2022; Zbl 07469206) Full Text: DOI arXiv OpenURL
Wang, Yanjing; Wei, Yu; Seligman, Jeremy Quantifier-free epistemic term-modal logic with assignment operator. (English) Zbl 07458667 Ann. Pure Appl. Logic 173, No. 3, Article ID 103071, 41 p. (2022). MSC: 03B10 03B42 03B45 03B70 PDF BibTeX XML Cite \textit{Y. Wang} et al., Ann. Pure Appl. Logic 173, No. 3, Article ID 103071, 41 p. (2022; Zbl 07458667) Full Text: DOI OpenURL
Shapiro, Stewart; Kouri Kissel, Teresa Classical first-order logic (to appear). (English) Zbl 07455978 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-108-98700-4/pbk). (2022). MSC: 03-01 03B10 PDF BibTeX XML OpenURL
Stehr, Mark-Oliver; Kim, Minyoung; Talcott, Carolyn L. A probabilistic approximate logic for neuro-symbolic learning and reasoning. (English) Zbl 07432499 J. Log. Algebr. Methods Program. 124, Article ID 100719, 31 p. (2022). MSC: 68T27 68T07 PDF BibTeX XML Cite \textit{M.-O. Stehr} et al., J. Log. Algebr. Methods Program. 124, Article ID 100719, 31 p. (2022; Zbl 07432499) Full Text: DOI OpenURL
Pratt-Hartmann, Ian; Tendera, Lidia The fluted fragment with transitive relations. (English) Zbl 07417481 Ann. Pure Appl. Logic 173, No. 1, Article ID 103042, 43 p. (2022). MSC: 03B10 68Q17 68Q19 03B25 03B70 PDF BibTeX XML Cite \textit{I. Pratt-Hartmann} and \textit{L. Tendera}, Ann. Pure Appl. Logic 173, No. 1, Article ID 103042, 43 p. (2022; Zbl 07417481) Full Text: DOI arXiv OpenURL
Jarden, Adi; Cherniavsky, Yonah The copying method. (English) Zbl 07527447 Adv. Appl. Discrete Math. 28, No. 2, 369-378 (2021). MSC: 03B10 PDF BibTeX XML Cite \textit{A. Jarden} and \textit{Y. Cherniavsky}, Adv. Appl. Discrete Math. 28, No. 2, 369--378 (2021; Zbl 07527447) Full Text: DOI OpenURL
Zhukovskii, M. E.; Matushkin, A. D.; Yarovikov, Yu. N. On the 4-spectrum of first-order properties of random graphs. (English. Russian original) Zbl 07492938 Dokl. Math. 104, No. 2, 247-249 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 500, 31-34 (2021). MSC: 05C80 03B10 03C13 60F20 PDF BibTeX XML Cite \textit{M. E. Zhukovskii} et al., Dokl. Math. 104, No. 2, 247--249 (2021; Zbl 07492938); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 500, 31--34 (2021) Full Text: DOI OpenURL
Kennedy, Juliette; Väänänen, Jouko Logicality and model classes. (English) Zbl 07482178 Bull. Symb. Log. 27, No. 4, 385-414 (2021). MSC: 03C07 03A05 PDF BibTeX XML Cite \textit{J. Kennedy} and \textit{J. Väänänen}, Bull. Symb. Log. 27, No. 4, 385--414 (2021; Zbl 07482178) Full Text: DOI arXiv OpenURL
Pittou, Maria; Rahonis, George Architectures in parametric component-based systems: qualitative and quantitative modelling. (English) Zbl 07471686 Log. Methods Comput. Sci. 17, No. 4, Paper No. 26, 53 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Pittou} and \textit{G. Rahonis}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 26, 53 p. (2021; Zbl 07471686) Full Text: arXiv Link OpenURL
Lyon, Tim On the correspondence between nested calculi and semantic systems for intuitionistic logics. (English) Zbl 07471467 J. Log. Comput. 31, No. 1, 213-265 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{T. Lyon}, J. Log. Comput. 31, No. 1, 213--265 (2021; Zbl 07471467) Full Text: DOI arXiv OpenURL
Leivant, Daniel Finitism, imperative programs and primitive recursion. (English) Zbl 07471465 J. Log. Comput. 31, No. 1, 179-192 (2021). MSC: 03D20 03F30 03A05 PDF BibTeX XML Cite \textit{D. Leivant}, J. Log. Comput. 31, No. 1, 179--192 (2021; Zbl 07471465) Full Text: DOI OpenURL
Forster, Yannick; Kirst, Dominik; Wehr, Dominik Completeness theorems for first-order logic analysed in constructive type theory. Extended version. (English) Zbl 07471462 J. Log. Comput. 31, No. 1, 112-151 (2021). MSC: 03F50 03B35 03B38 03B10 PDF BibTeX XML Cite \textit{Y. Forster} et al., J. Log. Comput. 31, No. 1, 112--151 (2021; Zbl 07471462) Full Text: DOI OpenURL
Santos, Paulo Guilherme; Kahle, Reinhard \(k\)-provability in \(\mathrm{PA}\). (English) Zbl 07462129 Log. Univers. 15, No. 4, 477-516 (2021). MSC: 03B10 03B25 PDF BibTeX XML Cite \textit{P. G. Santos} and \textit{R. Kahle}, Log. Univers. 15, No. 4, 477--516 (2021; Zbl 07462129) Full Text: DOI OpenURL
Claessen, Koen; Lillieström, Ann Handling transitive relations in first-order automated reasoning. (English) Zbl 07461266 J. Autom. Reasoning 65, No. 8, 1097-1124 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{K. Claessen} and \textit{A. Lillieström}, J. Autom. Reasoning 65, No. 8, 1097--1124 (2021; Zbl 07461266) Full Text: DOI OpenURL
Cherubini, Felix; Rijke, Egbert Modal descent. (English) Zbl 1481.18029 Math. Struct. Comput. Sci. 31, No. 4, 363-391 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 03B38 03B10 PDF BibTeX XML Cite \textit{F. Cherubini} and \textit{E. Rijke}, Math. Struct. Comput. Sci. 31, No. 4, 363--391 (2021; Zbl 1481.18029) Full Text: DOI arXiv OpenURL
Nyberg Brodda, Carl-Fredrik Book review of: M. Hils and F. Loeser, A first journey through logic. (English) Zbl 1480.00031 Lond. Math. Soc., Newsl. 2021, No. 496, 50-51 (2021). MSC: 00A17 03-01 03B10 03Exx 03Fxx PDF BibTeX XML Cite \textit{C.-F. Nyberg Brodda}, Lond. Math. Soc., Newsl. 2021, No. 496, 50--51 (2021; Zbl 1480.00031) Full Text: Link OpenURL
Kossak, Roman; Wcisło, Bartosz Disjunctions with stopping conditions. (English) Zbl 07455123 Bull. Symb. Log. 27, No. 3, 231-253 (2021). MSC: 03H15 03F30 03A99 PDF BibTeX XML Cite \textit{R. Kossak} and \textit{B. Wcisło}, Bull. Symb. Log. 27, No. 3, 231--253 (2021; Zbl 07455123) Full Text: DOI arXiv OpenURL
Avron, Arnon Comments on the papers. (English) Zbl 07452009 Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 319-330 (2021). MSC: 03B50 03B10 03-02 PDF BibTeX XML Cite \textit{A. Avron}, Outst. Contrib. Log. 21, 319--330 (2021; Zbl 07452009) Full Text: DOI OpenURL
Gorzny, Jan; Postan, Ezequiel; Woltzenlogel Paleo, Bruno Lifting propositional proof compression algorithms to first-order logic. (English) Zbl 07451572 J. Log. Comput. 31, No. 8, 1903-1932 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{J. Gorzny} et al., J. Log. Comput. 31, No. 8, 1903--1932 (2021; Zbl 07451572) Full Text: DOI OpenURL
Kruszelnicka, Małgorzata Games and bisimulations for intuitionistic first-order Kripke models. (English) Zbl 07450680 Stud. Log. 109, No. 5, 903-916 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Kruszelnicka}, Stud. Log. 109, No. 5, 903--916 (2021; Zbl 07450680) Full Text: DOI OpenURL
Barceló, Pablo; Berger, Gerald; Gottlob, Georg; Pieris, Andreas Guarded ontology-mediated queries. (English) Zbl 07442307 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 27-52 (2021). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{P. Barceló} et al., Outst. Contrib. Log. 19, 27--52 (2021; Zbl 07442307) Full Text: DOI OpenURL
Egrot, Rob Recursive axiomatisations from separation properties. (English) Zbl 07442026 J. Symb. Log. 86, No. 3, 1228-1258 (2021). MSC: 03C98 03B16 03B70 05C15 08A55 PDF BibTeX XML Cite \textit{R. Egrot}, J. Symb. Log. 86, No. 3, 1228--1258 (2021; Zbl 07442026) Full Text: DOI arXiv OpenURL
Fujiwara, Makoto; Kurahashi, Taishi Prenex normal form theorems in semi-classical arithmetic. (English) Zbl 07442022 J. Symb. Log. 86, No. 3, 1124-1153 (2021). MSC: 03B20 03F03 03F30 03F50 PDF BibTeX XML Cite \textit{M. Fujiwara} and \textit{T. Kurahashi}, J. Symb. Log. 86, No. 3, 1124--1153 (2021; Zbl 07442022) Full Text: DOI arXiv OpenURL
Kellerman, Ruaan; Goranko, Valentin Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. (English) Zbl 07442019 J. Symb. Log. 86, No. 3, 1035-1065 (2021). MSC: 03C07 03B10 03C64 03C68 06A05 06A06 PDF BibTeX XML Cite \textit{R. Kellerman} and \textit{V. Goranko}, J. Symb. Log. 86, No. 3, 1035--1065 (2021; Zbl 07442019) Full Text: DOI OpenURL
Padon, Oded; Hoenicke, Jochen; McMillan, Kenneth L.; Podelski, Andreas; Sagiv, Mooly; Shoham, Sharon Temporal prophecy for proving temporal properties of infinite-state systems. (English) Zbl 07440323 Form. Methods Syst. Des. 57, No. 2, 246-269 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{O. Padon} et al., Form. Methods Syst. Des. 57, No. 2, 246--269 (2021; Zbl 07440323) Full Text: DOI arXiv OpenURL
Ahsan, Abbas Islamic contradictory theology … is there any such thing? (English) Zbl 07419648 Log. Univers. 15, No. 3, 291-329 (2021). Reviewer: Athanase Papadopoulos (Strasbourg) MSC: 03B10 03A05 PDF BibTeX XML Cite \textit{A. Ahsan}, Log. Univers. 15, No. 3, 291--329 (2021; Zbl 07419648) Full Text: DOI OpenURL
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability of ontology-mediated queries in linear temporal logic. (English) Zbl 07418685 Artif. Intell. 299, Article ID 103536, 30 p. (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{A. Artale} et al., Artif. Intell. 299, Article ID 103536, 30 p. (2021; Zbl 07418685) Full Text: DOI arXiv OpenURL
Maietti, Maria Emilia; Maschio, Samuele A predicative variant of Hyland’s effective topos. (English) Zbl 07415210 J. Symb. Log. 86, No. 2, 433-447 (2021). MSC: 03G30 03D20 03F55 03F30 PDF BibTeX XML Cite \textit{M. E. Maietti} and \textit{S. Maschio}, J. Symb. Log. 86, No. 2, 433--447 (2021; Zbl 07415210) Full Text: DOI arXiv OpenURL
Gastin, Paul; Manuel, Amaldev; Govind, R. Reversible regular languages: logical and algebraic characterisations. (English) Zbl 07413806 Fundam. Inform. 180, No. 4, 333-350 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{P. Gastin} et al., Fundam. Inform. 180, No. 4, 333--350 (2021; Zbl 07413806) Full Text: DOI OpenURL
Place, Thomas; Zeitoun, Marc Separation for dot-depth two. (English) Zbl 07407796 Log. Methods Comput. Sci. 17, No. 3, Paper No. 24, 42 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 24, 42 p. (2021; Zbl 07407796) Full Text: arXiv Link OpenURL
Marsault, Victor On \(\frac{p}{q}\)-recognisable sets. (English) Zbl 07407784 Log. Methods Comput. Sci. 17, No. 3, Paper No. 12, 22 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{V. Marsault}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 12, 22 p. (2021; Zbl 07407784) Full Text: arXiv Link OpenURL
Rybakov, Mikhail; Shkatov, Dmitry Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. (English) Zbl 07398783 J. Log. Comput. 31, No. 5, 1266-1288 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Rybakov} and \textit{D. Shkatov}, J. Log. Comput. 31, No. 5, 1266--1288 (2021; Zbl 07398783) Full Text: DOI OpenURL
Peyras, Quentin; Brunel, Julien; Chemouil, David A decidable and expressive fragment of Many-Sorted first-order linear temporal logic. (English) Zbl 07398017 Inf. Comput. 280, Article ID 104641, 20 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{Q. Peyras} et al., Inf. Comput. 280, Article ID 104641, 20 p. (2021; Zbl 07398017) Full Text: DOI HAL OpenURL
Cheng, Yong Current research on Gödel’s incompleteness theorems. (English) Zbl 07396323 Bull. Symb. Log. 27, No. 2, 113-167 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03-02 PDF BibTeX XML Cite \textit{Y. Cheng}, Bull. Symb. Log. 27, No. 2, 113--167 (2021; Zbl 07396323) Full Text: DOI arXiv OpenURL
Tran-Hoang, Paul Anh On the virtue of categoricity. (English) Zbl 07391968 Notre Dame J. Formal Logic 62, No. 1, 107-146 (2021). MSC: 03A05 03C35 PDF BibTeX XML Cite \textit{P. A. Tran-Hoang}, Notre Dame J. Formal Logic 62, No. 1, 107--146 (2021; Zbl 07391968) Full Text: DOI OpenURL
Vlasáková, Marta What is identical? (English) Zbl 07380927 Log. Univers. 15, No. 2, 153-170 (2021). MSC: 03A05 03B10 PDF BibTeX XML Cite \textit{M. Vlasáková}, Log. Univers. 15, No. 2, 153--170 (2021; Zbl 07380927) Full Text: DOI OpenURL
Bès, Alexis; Choffrut, Christian Theories of real addition with and without a predicate for integers. (English) Zbl 07379289 Log. Methods Comput. Sci. 17, No. 2, Paper No. 18, 27 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Bès} and \textit{C. Choffrut}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 18, 27 p. (2021; Zbl 07379289) Full Text: DOI arXiv OpenURL
Almagor, Shaull; Ouaknine, Joël; Worrell, James First-order orbit queries. (English) Zbl 07379110 Theory Comput. Syst. 65, No. 4, 638-661 (2021). MSC: 68R05 03B70 11J83 11J86 37E99 PDF BibTeX XML Cite \textit{S. Almagor} et al., Theory Comput. Syst. 65, No. 4, 638--661 (2021; Zbl 07379110) Full Text: DOI OpenURL
Grabmayr, Balthasar On the invariance of Gödel’s second theorem with regard to numberings. (English) Zbl 07374090 Rev. Symb. Log. 14, No. 1, 51-84 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03A05 03B25 03F30 03F40 PDF BibTeX XML Cite \textit{B. Grabmayr}, Rev. Symb. Log. 14, No. 1, 51--84 (2021; Zbl 07374090) Full Text: DOI arXiv OpenURL
Lampert, Timm; Säbel, Markus Wittgenstein’s elimination of identity for quantifier-free logic. (English) Zbl 1483.03001 Rev. Symb. Log. 14, No. 1, 1-21 (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-03 03A05 03B10 03B60 01A60 PDF BibTeX XML Cite \textit{T. Lampert} and \textit{M. Säbel}, Rev. Symb. Log. 14, No. 1, 1--21 (2021; Zbl 1483.03001) Full Text: DOI OpenURL
Poliakov, Nikolai L.; Saveliev, Denis I. On ultrafilter extensions of first-order models and ultrafilter interpretations. (English) Zbl 07373424 Arch. Math. Logic 60, No. 5, 625-681 (2021). MSC: 03C55 54C08 54C20 54D35 54D80 03C30 03C80 54A20 54B05 54B10 54B20 54C10 54C15 54C20 54C50 54F65 54E05 54H10 PDF BibTeX XML Cite \textit{N. L. Poliakov} and \textit{D. I. Saveliev}, Arch. Math. Logic 60, No. 5, 625--681 (2021; Zbl 07373424) Full Text: DOI arXiv OpenURL
Ciardelli, Ivano; Otto, Martin Inquisitive bisimulation. (English) Zbl 07370807 J. Symb. Log. 86, No. 1, 77-109 (2021). MSC: 03B45 03B42 03C07 03C80 03C98 03B70 PDF BibTeX XML Cite \textit{I. Ciardelli} and \textit{M. Otto}, J. Symb. Log. 86, No. 1, 77--109 (2021; Zbl 07370807) Full Text: DOI arXiv OpenURL
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang Mathematical logic. 3rd edition. (English) Zbl 07356209 Graduate Texts in Mathematics 291. Cham: Springer (ISBN 978-3-030-73838-9/hbk; 978-3-030-73839-6/ebook). ix, 304 p. (2021). MSC: 03-01 03B10 03B99 03C07 PDF BibTeX XML Cite \textit{H.-D. Ebbinghaus} et al., Mathematical logic. 3rd edition. Cham: Springer (2021; Zbl 07356209) Full Text: DOI OpenURL
Przybyłko, Marcin; Skrzypczak, Michał The uniform measure of simple regular sets of infinite trees. (English) Zbl 07354961 Inf. Comput. 278, Article ID 104595, 24 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Przybyłko} and \textit{M. Skrzypczak}, Inf. Comput. 278, Article ID 104595, 24 p. (2021; Zbl 07354961) Full Text: DOI arXiv OpenURL
Galliani, Pietro Safe dependency atoms and possibility operators in team semantics. (English) Zbl 07354959 Inf. Comput. 278, Article ID 104593, 18 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Galliani}, Inf. Comput. 278, Article ID 104593, 18 p. (2021; Zbl 07354959) Full Text: DOI OpenURL
Fritz, Tobias Quantum logic is undecidable. (English) Zbl 1473.03039 Arch. Math. Logic 60, No. 3-4, 329-341 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G12 03B25 46L99 81P10 81P13 PDF BibTeX XML Cite \textit{T. Fritz}, Arch. Math. Logic 60, No. 3--4, 329--341 (2021; Zbl 1473.03039) Full Text: DOI arXiv OpenURL
Łełyk, Mateusz; Wcisło, Bartosz Local collection and end-extensions of models of compositional truth. (English) Zbl 1473.03047 Ann. Pure Appl. Logic 172, No. 6, Article ID 102941, 22 p. (2021). Reviewer: Roman Kossak (New York) MSC: 03H15 03F30 03C62 03A05 PDF BibTeX XML Cite \textit{M. Łełyk} and \textit{B. Wcisło}, Ann. Pure Appl. Logic 172, No. 6, Article ID 102941, 22 p. (2021; Zbl 1473.03047) Full Text: DOI arXiv OpenURL
Courcelle, Bruno Axiomatization of betweenness in order-theoretic trees. (English) Zbl 07327944 Log. Methods Comput. Sci. 17, No. 1, Paper No. 11, 42 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{B. Courcelle}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 11, 42 p. (2021; Zbl 07327944) Full Text: arXiv Link OpenURL
Droz, Jean-Marie; Zakharevich, Inna Extending to a model structure is not a first-order property. (English) Zbl 07319060 New York J. Math. 27, 319-348 (2021). MSC: 55U35 03B10 18B35 06A07 03C07 PDF BibTeX XML Cite \textit{J.-M. Droz} and \textit{I. Zakharevich}, New York J. Math. 27, 319--348 (2021; Zbl 07319060) Full Text: arXiv Link OpenURL
Clemente, Lorenzo; Lasota, Sławomir Reachability relations of timed pushdown automata. (English) Zbl 07304648 J. Comput. Syst. Sci. 117, 202-241 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 03B70 03D05 03F30 68Q60 PDF BibTeX XML Cite \textit{L. Clemente} and \textit{S. Lasota}, J. Comput. Syst. Sci. 117, 202--241 (2021; Zbl 07304648) Full Text: DOI arXiv OpenURL
Osin, D. A topological zero-one law and elementary equivalence of finitely generated groups. (English) Zbl 07300476 Ann. Pure Appl. Logic 172, No. 3, Article ID 102915, 37 p. (2021). MSC: 03C07 03C60 20F67 03E15 03C75 20F05 PDF BibTeX XML Cite \textit{D. Osin}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102915, 37 p. (2021; Zbl 07300476) Full Text: DOI arXiv OpenURL
Kristiansen, Lars; Murwanashyaka, Juvenal First-order concatenation theory with bounded quantifiers. (English) Zbl 07297799 Arch. Math. Logic 60, No. 1-2, 77-104 (2021). MSC: 03B10 03B25 03D40 68R15 PDF BibTeX XML Cite \textit{L. Kristiansen} and \textit{J. Murwanashyaka}, Arch. Math. Logic 60, No. 1--2, 77--104 (2021; Zbl 07297799) Full Text: DOI arXiv OpenURL
Bollig, Benedikt; Fortin, Marie; Gastin, Paul Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. (English) Zbl 1464.68150 J. Comput. Syst. Sci. 115, 22-53 (2021). MSC: 68Q45 03B70 03D05 68Q85 PDF BibTeX XML Cite \textit{B. Bollig} et al., J. Comput. Syst. Sci. 115, 22--53 (2021; Zbl 1464.68150) Full Text: DOI OpenURL
Rad, Soroush Rafiee Probabilistic characterisation of models of first-order theories. (English) Zbl 07260110 Ann. Pure Appl. Logic 172, No. 1, Article ID 102875, 32 p. (2021). MSC: 03B48 03C07 03B99 03H05 PDF BibTeX XML Cite \textit{S. R. Rad}, Ann. Pure Appl. Logic 172, No. 1, Article ID 102875, 32 p. (2021; Zbl 07260110) Full Text: DOI OpenURL
Jarden, Adi The game method. (English) Zbl 07527353 Adv. Appl. Discrete Math. 25, No. 2, 263-266 (2020). MSC: 03B10 PDF BibTeX XML Cite \textit{A. Jarden}, Adv. Appl. Discrete Math. 25, No. 2, 263--266 (2020; Zbl 07527353) Full Text: DOI OpenURL
Cedillo, C.; Pizaña, M. A. Clique-divergence is not first-order expressible for the class of finite graphs. (English) Zbl 07478544 Ars Comb. 152, 3-11 (2020). MSC: 05C69 PDF BibTeX XML Cite \textit{C. Cedillo} and \textit{M. A. Pizaña}, Ars Comb. 152, 3--11 (2020; Zbl 07478544) OpenURL
Khamsemanan, Nirattaya; Nattee, Cholwich; Numao, Masayuki Four-layer distance metric and distance-based kernel functions for inductive logic programming. (English) Zbl 07445301 Thai J. Math. 18, No. 1, 394-410 (2020). MSC: 68T10 68T27 68T30 54E35 PDF BibTeX XML Cite \textit{N. Khamsemanan} et al., Thai J. Math. 18, No. 1, 394--410 (2020; Zbl 07445301) Full Text: Link OpenURL
Parisi, Andrew Atomic ontology. (English) Zbl 1475.03042 Synthese 197, No. 1, 355-379 (2020). MSC: 03A05 03B10 03B16 03F03 PDF BibTeX XML Cite \textit{A. Parisi}, Synthese 197, No. 1, 355--379 (2020; Zbl 1475.03042) Full Text: DOI OpenURL
Zhukovskii, M. E.; Malyshkin, Yu. A. On the convergence of probabilities of first-order sentences for recursive random graph models. (English. Russian original) Zbl 1478.05139 Dokl. Math. 102, No. 2, 384-386 (2020); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 494, 35-37 (2020). MSC: 05C80 05D40 03C13 PDF BibTeX XML Cite \textit{M. E. Zhukovskii} and \textit{Yu. A. Malyshkin}, Dokl. Math. 102, No. 2, 384--386 (2020; Zbl 1478.05139); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 494, 35--37 (2020) Full Text: DOI OpenURL
Lochmann, Alexander; Middeldorp, Aart Formalized proofs of the infinity and normal form predicates in the first-order theory of rewriting. (English) Zbl 1483.68149 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 178-194 (2020). MSC: 68Q42 03B70 68Q45 68V20 PDF BibTeX XML Cite \textit{A. Lochmann} and \textit{A. Middeldorp}, Lect. Notes Comput. Sci. 12079, 178--194 (2020; Zbl 1483.68149) Full Text: DOI OpenURL
Müller, Christan; Seidl, Helmut Stratified guarded first-order transition systems. (English) Zbl 1474.68192 Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 113-133 (2020). MSC: 68Q60 03B70 PDF BibTeX XML Cite \textit{C. Müller} and \textit{H. Seidl}, Lect. Notes Comput. Sci. 12389, 113--133 (2020; Zbl 1474.68192) Full Text: DOI OpenURL
Skordev, Dimiter Moschovakis extension of multi-represented spaces. (English) Zbl 07377991 Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 690-704 (2020). MSC: 03Bxx 03Dxx PDF BibTeX XML Cite \textit{D. Skordev}, Landsc. Log. 1, 690--704 (2020; Zbl 07377991) OpenURL
Mandrioli, Dino; Pradella, Matteo; Crespi Reghizzi, Stefano Star-freeness, first-order definability and aperiodicity of structured context-free languages. (English) Zbl 07369988 Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 161-180 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Mandrioli} et al., Lect. Notes Comput. Sci. 12545, 161--180 (2020; Zbl 07369988) Full Text: DOI OpenURL
Middleton, Ben A canonical model for constant domain basic first-order logic. (English) Zbl 07350845 Stud. Log. 108, No. 6, 1307-1323 (2020). MSC: 03B20 PDF BibTeX XML Cite \textit{B. Middleton}, Stud. Log. 108, No. 6, 1307--1323 (2020; Zbl 07350845) Full Text: DOI arXiv OpenURL
Goldblatt, Robert Definable operators on stable set lattices. (English) Zbl 07350843 Stud. Log. 108, No. 6, 1263-1280 (2020). MSC: 03G10 03B45 03B47 03B60 06B23 PDF BibTeX XML Cite \textit{R. Goldblatt}, Stud. Log. 108, No. 6, 1263--1280 (2020; Zbl 07350843) Full Text: DOI arXiv OpenURL
Saveliev, Denis I.; Shapirovsky, Ilya B. On modal logics of model-theoretic relations. (English) Zbl 1473.03011 Stud. Log. 108, No. 5, 989-1017 (2020). Reviewer: Jānis Cīrulis (Riga) MSC: 03B45 03C52 03C68 03G25 PDF BibTeX XML Cite \textit{D. I. Saveliev} and \textit{I. B. Shapirovsky}, Stud. Log. 108, No. 5, 989--1017 (2020; Zbl 1473.03011) Full Text: DOI arXiv OpenURL
Çevik, Ahmet Palindromic characteristic of committed graphs and some model theoretic properties. (English) Zbl 1458.68094 Int. J. Found. Comput. Sci. 31, No. 4, 483-498 (2020). MSC: 68Q45 03C98 05C75 68R15 PDF BibTeX XML Cite \textit{A. Çevik}, Int. J. Found. Comput. Sci. 31, No. 4, 483--498 (2020; Zbl 1458.68094) Full Text: DOI OpenURL
Francez, Nissim Connexive restricted quantification. (English) Zbl 1472.03005 Notre Dame J. Formal Logic 61, No. 3, 383-402 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03A05 03B60 03B53 PDF BibTeX XML Cite \textit{N. Francez}, Notre Dame J. Formal Logic 61, No. 3, 383--402 (2020; Zbl 1472.03005) Full Text: DOI Euclid OpenURL
Heikkilä, Seppo Seppo Theories of truth for countable languages which conform to classical logic. (English) Zbl 1477.03011 Nonlinear Stud. 27, No. 1, 53-68 (2020). MSC: 03A05 03B10 PDF BibTeX XML Cite \textit{S. S. Heikkilä}, Nonlinear Stud. 27, No. 1, 53--68 (2020; Zbl 1477.03011) Full Text: arXiv Link OpenURL
Cornulier, Yves; Wilson, John S. First-order recognizability in finite and pseudofinite groups. (English) Zbl 07303648 J. Symb. Log. 85, No. 2, 852-867 (2020). MSC: 03C60 20A15 03C13 03C20 20D10 20D15 20D20 PDF BibTeX XML Cite \textit{Y. Cornulier} and \textit{J. S. Wilson}, J. Symb. Log. 85, No. 2, 852--867 (2020; Zbl 07303648) Full Text: DOI arXiv OpenURL
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe Elementary doctrines as coalgebras. (English) Zbl 1469.18008 J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020). Reviewer: Nima Rasekh (Lausanne) MSC: 18C50 03G30 18C20 03B10 03B20 03C45 PDF BibTeX XML Cite \textit{J. Emmenegger} et al., J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020; Zbl 1469.18008) Full Text: DOI OpenURL
Grohe, Martin Counting bounded tree depth homomorphisms. (English) Zbl 07299492 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 507-520 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{M. Grohe}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 507--520 (2020; Zbl 07299492) Full Text: DOI arXiv OpenURL
Grange, Julien Successor-invariant first-order logic on classes of bounded degree. (English) Zbl 07299490 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 479-491 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{J. Grange}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 479--491 (2020; Zbl 07299490) Full Text: DOI arXiv OpenURL
Bojańczyk, Mikołaj; Doumane, Amina First-order tree-to-tree functions. (English) Zbl 07299473 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 252-265 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{M. Bojańczyk} and \textit{A. Doumane}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 252--265 (2020; Zbl 07299473) Full Text: DOI arXiv OpenURL
Aït-Kaci, Hassan; Pasi, Gabriella Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach. (English) Zbl 1452.06008 Fuzzy Sets Syst. 391, 1-46 (2020). MSC: 06D72 68N17 PDF BibTeX XML Cite \textit{H. Aït-Kaci} and \textit{G. Pasi}, Fuzzy Sets Syst. 391, 1--46 (2020; Zbl 1452.06008) Full Text: DOI OpenURL
Konovalov, A. Yu. General recursive realizability and basic logic. (English. Russian original) Zbl 07291181 Algebra Logic 59, No. 5, 367-384 (2020); translation from Algebra Logika 59, No. 5, 542-566 (2020). MSC: 03F30 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Algebra Logic 59, No. 5, 367--384 (2020; Zbl 07291181); translation from Algebra Logika 59, No. 5, 542--566 (2020) Full Text: DOI OpenURL
Areces, Carlos; Campercholi, Miguel; Penazzi, Daniel; Ventura, Pablo The complexity of definability by open first-order formulas. (English) Zbl 07291123 Log. J. IGPL 28, No. 6, 1093-1105 (2020). MSC: 68Q17 03B10 PDF BibTeX XML Cite \textit{C. Areces} et al., Log. J. IGPL 28, No. 6, 1093--1105 (2020; Zbl 07291123) Full Text: DOI arXiv OpenURL
Rybakov, Mikhail; Shkatov, Dmitry Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages. (English) Zbl 07285871 J. Log. Comput. 30, No. 7, 1305-1329 (2020). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Rybakov} and \textit{D. Shkatov}, J. Log. Comput. 30, No. 7, 1305--1329 (2020; Zbl 07285871) Full Text: DOI arXiv OpenURL
Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana C. First-order swap structures semantics for some logics of formal inconsistency. (English) Zbl 07285868 J. Log. Comput. 30, No. 6, 1257-1290 (2020). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. E. Coniglio} et al., J. Log. Comput. 30, No. 6, 1257--1290 (2020; Zbl 07285868) Full Text: DOI arXiv OpenURL
Jacek Kubica, Bartłomiej Interval methods for solving various kinds of quantified nonlinear problems. (English) Zbl 07285516 Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 311-328 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{B. Jacek Kubica}, Stud. Comput. Intell. 835, 311--328 (2020; Zbl 07285516) Full Text: DOI OpenURL
Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten Verifying tight logic programs with anthem and vampire. (English) Zbl 1468.68127 Theory Pract. Log. Program. 20, No. 5, 735-750 (2020). MSC: 68Q60 03C07 68N17 PDF BibTeX XML Cite \textit{J. Fandinno} et al., Theory Pract. Log. Program. 20, No. 5, 735--750 (2020; Zbl 1468.68127) Full Text: DOI arXiv OpenURL
Boolos, George S. Logicism and second-order logic. (English) Zbl 07279910 Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 96-115 (2020). MSC: 03A05 01A61 01A60 01A70 PDF BibTeX XML Cite \textit{G. S. Boolos}, in: Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 96--115 (2020; Zbl 07279910) Full Text: DOI OpenURL
Gerasimov, Aleksandr Sergeevich Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic. (English) Zbl 1459.03028 Sib. Èlektron. Mat. Izv. 17, 1869-1899 (2020). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B52 03F07 03B35 PDF BibTeX XML Cite \textit{A. S. Gerasimov}, Sib. Èlektron. Mat. Izv. 17, 1869--1899 (2020; Zbl 1459.03028) Full Text: DOI arXiv OpenURL