Antunes, H.; Rodrigues, A.; Carnielli, W.; Coniglio, M. E. Valuation semantics for first-order logics of evidence and truth. (English) Zbl 07595246 J. Philos. Log. 51, No. 5, 1141-1173 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{H. Antunes} et al., J. Philos. Log. 51, No. 5, 1141--1173 (2022; Zbl 07595246) Full Text: DOI OpenURL
Zielenkiewicz, Maciej; Schubert, Aleksy Automata theory approach to predicate intuitionistic logic. (English) Zbl 07582717 J. Log. Comput. 32, No. 3, 554-580 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Zielenkiewicz} and \textit{A. Schubert}, J. Log. Comput. 32, No. 3, 554--580 (2022; Zbl 07582717) Full Text: DOI OpenURL
Aucher, Guillaume On the universality of atomic and molecular logics via protologics. (English) Zbl 07580920 Log. Univers. 16, No. 1-2, 285-322 (2022). MSC: 03-XX 03Bxx 03Cxx PDF BibTeX XML Cite \textit{G. Aucher}, Log. Univers. 16, No. 1--2, 285--322 (2022; Zbl 07580920) Full Text: DOI OpenURL
Rumenova, Yana; Tinchev, Tinko Modal definability: two commuting equivalence relations. (English) Zbl 07580915 Log. Univers. 16, No. 1-2, 177-194 (2022). MSC: 03-02 03C07 03C13 03B25 03B45 PDF BibTeX XML Cite \textit{Y. Rumenova} and \textit{T. Tinchev}, Log. Univers. 16, No. 1--2, 177--194 (2022; Zbl 07580915) Full Text: DOI OpenURL
Šikić, Zvonimir Kneale’s natural deductions as a notational variant of Beth’s tableaus. (English) Zbl 07580909 Log. Univers. 16, No. 1-2, 11-26 (2022). MSC: 03B10 PDF BibTeX XML Cite \textit{Z. Šikić}, Log. Univers. 16, No. 1--2, 11--26 (2022; Zbl 07580909) Full Text: DOI OpenURL
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo A first-order complete temporal logic for structured context-free languages. (English) Zbl 07577575 Log. Methods Comput. Sci. 18, No. 3, Paper No. 11, 49 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Chiari} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 11, 49 p. (2022; Zbl 07577575) Full Text: arXiv Link OpenURL
Carnielli, Walter; Coniglio, Marcelo E.; Fuenmayor, David Logics of formal inconsistency enriched with replacement: An algebraic and modal account. (English) Zbl 07576543 Rev. Symb. Log. 15, No. 3, 771-806 (2022). MSC: 03B45 03G27 03B62 PDF BibTeX XML Cite \textit{W. Carnielli} et al., Rev. Symb. Log. 15, No. 3, 771--806 (2022; Zbl 07576543) Full Text: DOI OpenURL
Akhmejanova, Margarita; Zhukovskii, Maksim EMSO(FO\(^2\)) 0-1 law fails for all dense random graphs. (English) Zbl 07572602 SIAM J. Discrete Math. 36, No. 3, 1788-1799 (2022). Reviewer: Nicolás Sanhueza-Matamala (Praha) MSC: 05C80 05C42 03C85 03B10 PDF BibTeX XML Cite \textit{M. Akhmejanova} and \textit{M. Zhukovskii}, SIAM J. Discrete Math. 36, No. 3, 1788--1799 (2022; Zbl 07572602) Full Text: DOI OpenURL
Ciardelli, Ivano; Grilletti, Gianluca Coherence in inquisitive first-order logic. (English) Zbl 07566289 Ann. Pure Appl. Logic 173, No. 9, Article ID 103155, 39 p. (2022). MSC: 03B45 03B55 03B60 03C07 PDF BibTeX XML Cite \textit{I. Ciardelli} and \textit{G. Grilletti}, Ann. Pure Appl. Logic 173, No. 9, Article ID 103155, 39 p. (2022; Zbl 07566289) Full Text: DOI OpenURL
Madarász, Judit X.; Stannett, Mike; Székely, Gergely Investigations of isotropy and homogeneity of spacetime in first-order logic. (English) Zbl 07566288 Ann. Pure Appl. Logic 173, No. 9, Article ID 103153, 35 p. (2022). MSC: 03B30 83A05 03B10 03B80 PDF BibTeX XML Cite \textit{J. X. Madarász} et al., Ann. Pure Appl. Logic 173, No. 9, Article ID 103153, 35 p. (2022; Zbl 07566288) Full Text: DOI OpenURL
Durand, Arnaud; Schweikardt, Nicole; Segoufin, Luc Enumerating answers to first-order queries over databases of low degree. (English) Zbl 07566063 Log. Methods Comput. Sci. 18, No. 2, Paper No. 7, 23 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Durand} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 7, 23 p. (2022; Zbl 07566063) Full Text: arXiv Link OpenURL
Gerasimova, Olga; Kikot, Stanislav; Kurucz, Agi; Podolskii, Vladimir; Zakharyaschev, Michael A tetrachotomy of ontology-mediated queries with a covering axiom. (English) Zbl 07554486 Artif. Intell. 309, Article ID 103738, 46 p. (2022). MSC: 68T30 PDF BibTeX XML Cite \textit{O. Gerasimova} et al., Artif. Intell. 309, Article ID 103738, 46 p. (2022; Zbl 07554486) Full Text: DOI OpenURL
Mileti, Joseph Modern mathematical logic (to appear). (English) Zbl 07553161 Cambridge Mathematical Textbooks. Cambridge: Cambridge University Press (ISBN 978-1-108-83314-1/hbk). (2022). MSC: 03-01 03B05 03B10 03Cxx 03E10 03E30 03Dxx 03F40 PDF BibTeX XML OpenURL
Gonczarowski, Yannai A.; Nisan, Noam Mathematical logic through Python. (English) Zbl 07553106 Cambridge: Cambridge University Press (ISBN 978-1-108-84507-6/hbk; 978-1-108-94947-7/pbk; 978-1-108-95446-4/ebook). xii, 272 p. (2022). MSC: 03-01 03-04 03B05 03B10 PDF BibTeX XML Cite \textit{Y. A. Gonczarowski} and \textit{N. Nisan}, Mathematical logic through Python. Cambridge: Cambridge University Press (2022; Zbl 07553106) Full Text: DOI OpenURL
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio Model theory of monadic predicate logic with the infinity quantifier. (English) Zbl 07541620 Arch. Math. Logic 61, No. 3-4, 465-502 (2022). MSC: 03C80 03C40 PDF BibTeX XML Cite \textit{F. Carreiro} et al., Arch. Math. Logic 61, No. 3--4, 465--502 (2022; Zbl 07541620) Full Text: DOI OpenURL
Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia Exorcising the phantom zone. (English) Zbl 07540276 Inf. Comput. 287, Article ID 104754, 21 p. (2022). MSC: 03B45 PDF BibTeX XML Cite \textit{P. Blackburn} et al., Inf. Comput. 287, Article ID 104754, 21 p. (2022; Zbl 07540276) Full Text: DOI OpenURL
Zhang, Shujun; Nishida, Naoki Transforming orthogonal inductive definition sets into confluent term rewrite systems. (English) Zbl 07531446 J. Log. Algebr. Methods Program. 127, Article ID 100779, 17 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{S. Zhang} and \textit{N. Nishida}, J. Log. Algebr. Methods Program. 127, Article ID 100779, 17 p. (2022; Zbl 07531446) Full Text: DOI OpenURL
Madarász, Judit X.; Stannett, Mike; Székely, Gergely Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. (English) Zbl 07531428 Rev. Symb. Log. 15, No. 2, 334-361 (2022). MSC: 03B30 83A05 03B10 03B80 20G15 PDF BibTeX XML Cite \textit{J. X. Madarász} et al., Rev. Symb. Log. 15, No. 2, 334--361 (2022; Zbl 07531428) Full Text: DOI OpenURL
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 1486.05280 Discrete Appl. Math. 314, 223-227 (2022). MSC: 05C80 60F05 03C13 PDF BibTeX XML Cite \textit{Y. A. Malyshkin}, Discrete Appl. Math. 314, 223--227 (2022; Zbl 1486.05280) Full Text: DOI OpenURL
Matushkin, A. D.; Popova, S. N. Strictly balanced uniform hypergraphs and generalizations of zero-one law. (English) Zbl 1486.05217 Discrete Math. 345, No. 6, Article ID 112835, 18 p. (2022). MSC: 05C65 05C80 60C05 03C13 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 1486.05217) 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 arXiv 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: 03B10 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 1491.03021 Log. J. IGPL 30, No. 1, 1-20 (2022). MSC: 03B50 03B52 03C50 PDF BibTeX XML Cite \textit{G. Badia} and \textit{C. Noguera}, Log. J. IGPL 30, No. 1, 1--20 (2022; Zbl 1491.03021) Full Text: DOI OpenURL
Tennant, Neil The logic of number. (English) Zbl 07498873 Oxford: Oxford University Press (ISBN 978-0-19-284667-9/hbk). xii, 363 p. (2022). MSC: 03-02 03F30 PDF BibTeX XML Cite \textit{N. Tennant}, The logic of number. Oxford: Oxford University Press (2022; Zbl 07498873) 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 1491.05171 Discrete Math. 345, No. 5, Article ID 112802, 12 p. (2022). Reviewer: Ágnes Backhausz (Budapest) MSC: 05C80 05C12 05C38 03C07 03B10 60F20 05C57 91A43 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 1491.05171) 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
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. (English) Zbl 07455978 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-108-98700-4/pbk; 978-1-108-98200-9/ebook). 71 p. (2022). MSC: 03-01 03B10 PDF BibTeX XML Cite \textit{S. Shapiro} and \textit{T. Kouri Kissel}, Classical first-order logic. Cambridge: Cambridge University Press (2022; Zbl 07455978) Full Text: DOI OpenURL
Polkowski, Lech T. Logics for computer and data sciences, and artificial intelligence. (English) Zbl 07439526 Studies in Computational Intelligence 992. Cham: Springer (ISBN 978-3-030-91679-4/hbk; 978-3-030-91680-0/ebook). xviii, 362 p. (2022). Reviewer: Éric Martin (Sydney) MSC: 68-01 03-01 03B70 68T27 PDF BibTeX XML Cite \textit{L. T. Polkowski}, Logics for computer and data sciences, and artificial intelligence. Cham: Springer (2022; Zbl 07439526) Full Text: DOI 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 1490.03010 Ann. Pure Appl. Logic 173, No. 1, Article ID 103042, 43 p. (2022). Reviewer: Mario Alviano (Rende) 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 1490.03010) Full Text: DOI arXiv OpenURL
Kourtis, G.; Dixon, C.; Fisher, M.; Lisitsa, A. Parameterized verification of leader/follower systems via first-order temporal logic. (English) Zbl 1492.68087 Form. Methods Syst. Des. 58, No. 3, 440-468 (2021). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{G. Kourtis} et al., Form. Methods Syst. Des. 58, No. 3, 440--468 (2021; Zbl 1492.68087) Full Text: DOI OpenURL
Wang, Xun Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic. (English) Zbl 07547774 Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 246-258 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{X. Wang}, Lect. Notes Comput. Sci. 13039, 246--258 (2021; Zbl 07547774) Full Text: DOI OpenURL
Landes, Jürgen A triple uniqueness of the maximum entropy approach. (English) Zbl 07542374 Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 644-656 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{J. Landes}, Lect. Notes Comput. Sci. 12897, 644--656 (2021; Zbl 07542374) Full Text: DOI OpenURL
Adsul, Bharat; Sarkar, Saptarshi; Sreejith, A. V. First-order logic and its infinitary quantifier extensions over countable words. (English) Zbl 07530223 Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 39-52 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{B. Adsul} et al., Lect. Notes Comput. Sci. 12867, 39--52 (2021; Zbl 07530223) 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 1484.05191 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 1484.05191); 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
De Morgan, Augustus On the syllogism and other logical writings. Reprint of the 1966 edition. (English) Zbl 1486.03003 Routledge Revivals. Milton: Routledge (ISBN 978-0-367-19490-1/hbk; 978-0-429-20278-0/ebook). xxxi, 335 p. (2021). MSC: 03-02 03B10 01A75 PDF BibTeX XML Cite \textit{A. De Morgan}, On the syllogism and other logical writings. Reprint of the 1966 edition. Milton: Routledge (2021; Zbl 1486.03003) Full Text: DOI OpenURL
Ahsan, Abbas Islamic contradictory theology … is there any such thing? (English) Zbl 1490.03009 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 1490.03009) 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 arXiv 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 Link OpenURL
Grabmayr, Balthasar On the invariance of Gödel’s second theorem with regard to numberings. (English) Zbl 1487.03070 Rev. Symb. Log. 14, No. 1, 51-84 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03A05 03B25 03F30 PDF BibTeX XML Cite \textit{B. Grabmayr}, Rev. Symb. Log. 14, No. 1, 51--84 (2021; Zbl 1487.03070) 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-73841-9/pbk; 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 arXiv 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 1484.68079 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 1484.68079) 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
Rybakov, Mikhail; Shkatov, Dmitry Algorithmic properties of first-order modal logics of the natural number line in restricted languages. (English) Zbl 07585731 Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 523-539 (2020). MSC: 03B45 PDF BibTeX XML Cite \textit{M. Rybakov} and \textit{D. Shkatov}, in: Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24--28, 2020. London: College Publications. 523--539 (2020; Zbl 07585731) OpenURL
Indrzejczak, Andrzej Existence, definedness and definite descriptions in hybrid modal logic. (English) Zbl 07585722 Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 349-368 (2020). MSC: 03B45 PDF BibTeX XML Cite \textit{A. Indrzejczak}, in: Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24--28, 2020. London: College Publications. 349--368 (2020; Zbl 07585722) OpenURL
Goranko, Valentin; Skura, Tomasz Refutation systems in the finite. (English) Zbl 07585088 Urbański, Mariusz (ed.) et al., Reasoning: games, cognition, logic. Proceedings of the Poznań reasoning week multi-conference, Poznań, Poland, September 11–15, 2018. London: College Publications. Stud. Log. (Lond.) 83, 169-180 (2020). MSC: 03Bxx PDF BibTeX XML Cite \textit{V. Goranko} and \textit{T. Skura}, Stud. Log. (Lond.) 83, 169--180 (2020; Zbl 07585088) 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 03B10 PDF BibTeX XML Cite \textit{C. Cedillo} and \textit{M. A. Pizaña}, Ars Comb. 152, 3--11 (2020; Zbl 07478544) OpenURL