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
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
Bollig, Benedikt; Fortin, Marie; Gastin, Paul Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. (English) Zbl 07265466 J. Comput. Syst. Sci. 115, 22-53 (2021). MSC: 68 PDF BibTeX XML Cite \textit{B. Bollig} et al., J. Comput. Syst. Sci. 115, 22--53 (2021; Zbl 07265466) Full Text: DOI
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
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
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe Elementary doctrines as coalgebras. (English) Zbl 07299914 J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020). 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 07299914) Full Text: DOI
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) (ISBN 978-1-4503-7104-9). 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
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) (ISBN 978-1-4503-7104-9). 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
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) (ISBN 978-1-4503-7104-9). 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
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
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 68 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
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 (ISBN 978-3-030-31040-0/hbk; 978-3-030-31041-7/ebook). Studies in Computational Intelligence 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
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 (ISBN 978-0-19-927834-3/hbk). 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
Gerasimov, Aleksandr Sergeevich Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic. (English) Zbl 07277577 Sib. Èlektron. Mat. Izv. 17, 1869-1899 (2020). MSC: 03B50 03B52 03F07 03B35 PDF BibTeX XML Cite \textit{A. S. Gerasimov}, Sib. Èlektron. Mat. Izv. 17, 1869--1899 (2020; Zbl 07277577) Full Text: DOI
Peretyat’kin, Mikhaĭl G. The property of being a model complete theory is preserved by Cartesian extensions. (English) Zbl 07277557 Sib. Èlektron. Mat. Izv. 17, 1540-1551 (2020). MSC: 03B10 03C10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 1540--1551 (2020; Zbl 07277557) Full Text: DOI
Yarovikov, Yury On limit points of spectra of first-order sentences with quantifier depth 4. (English) Zbl 1451.05214 Mosc. J. Comb. Number Theory 9, No. 3, 303-331 (2020). MSC: 05C80 03C13 PDF BibTeX XML Cite \textit{Y. Yarovikov}, Mosc. J. Comb. Number Theory 9, No. 3, 303--331 (2020; Zbl 1451.05214) Full Text: DOI
Grigoryan, Oleg; Makarov, Mikhail; Zhukovskii, Maksim First-order definitions of subgraph isomorphism through the adjacency and order relations. (English) Zbl 07272350 Mosc. J. Comb. Number Theory 9, No. 3, 293-302 (2020). MSC: 03C13 68Q19 PDF BibTeX XML Cite \textit{O. Grigoryan} et al., Mosc. J. Comb. Number Theory 9, No. 3, 293--302 (2020; Zbl 07272350) Full Text: DOI
Burel, Guillaume; Bury, Guillaume; Cauderlier, Raphaël; Delahaye, David; Halmagrand, Pierre; Hermant, Olivier First-order automated reasoning with theories: when deduction modulo theory meets practice. (English) Zbl 07268893 J. Autom. Reasoning 64, No. 6, 1001-1050 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{G. Burel} et al., J. Autom. Reasoning 64, No. 6, 1001--1050 (2020; Zbl 07268893) Full Text: DOI
Jakubův, Jan; Kaliszyk, Cezary Relaxed weighted path order in theorem proving. (English) Zbl 07268451 Math. Comput. Sci. 14, No. 3, 657-670 (2020). MSC: 03B10 03B35 03B70 06A05 06A06 68T15 68-04 PDF BibTeX XML Cite \textit{J. Jakubův} and \textit{C. Kaliszyk}, Math. Comput. Sci. 14, No. 3, 657--670 (2020; Zbl 07268451) Full Text: DOI
Ning, Xinran; Xu, Yang; He, Xingxing Extended unifying principle of clause elimination in first-order logic. (Chinese. English summary) Zbl 07267155 J. Southwest Jiaotong Univ. 55, No. 3, 588-595 (2020). MSC: 03B10 03B35 68T15 PDF BibTeX XML Cite \textit{X. Ning} et al., J. Southwest Jiaotong Univ. 55, No. 3, 588--595 (2020; Zbl 07267155) Full Text: DOI
Cao, Feng; Xu, Yang; Chen, Shuwei; Wu, Guanfeng; Chang, Wenjing Application of multi-clause synergized deduction in first-order logic automated theorem proving. (Chinese. English summary) Zbl 07267153 J. Southwest Jiaotong Univ. 55, No. 2, 401-408, 427 (2020). MSC: 03B10 03B35 68T15 PDF BibTeX XML Cite \textit{F. Cao} et al., J. Southwest Jiaotong Univ. 55, No. 2, 401--408, 427 (2020; Zbl 07267153) Full Text: DOI
Rasga, João; Sernadas, Cristina Decidability of logical theories and their combination. (English) Zbl 07261772 Studies in Universal Logic. Cham: Birkhäuser (ISBN 978-3-030-56553-4/hbk; 978-3-030-56554-1/ebook). xiii, 178 p. (2020). MSC: 03-01 03B10 03B25 PDF BibTeX XML Cite \textit{J. Rasga} and \textit{C. Sernadas}, Decidability of logical theories and their combination. Cham: Birkhäuser (2020; Zbl 07261772) Full Text: DOI
André, Simon Hyperbolicity and cubulability are preserved under elementary equivalence. (English) Zbl 07256603 Geom. Topol. 24, No. 3, 1075-1147 (2020). MSC: 20F67 03C65 PDF BibTeX XML Cite \textit{S. André}, Geom. Topol. 24, No. 3, 1075--1147 (2020; Zbl 07256603) Full Text: DOI
Zhukovskii, M. E.; Sveshnikov, N. M. First-order zero-one law for the uniform model of the random graph. (English. Russian original) Zbl 1448.05184 Sb. Math. 211, No. 7, 956-966 (2020); translation from Mat. Sb. 211, No. 7, 60-71 (2020). MSC: 05C80 60F20 03C13 PDF BibTeX XML Cite \textit{M. E. Zhukovskii} and \textit{N. M. Sveshnikov}, Sb. Math. 211, No. 7, 956--966 (2020; Zbl 1448.05184); translation from Mat. Sb. 211, No. 7, 60--71 (2020) Full Text: DOI
Warren, Jared Shadows of syntax. Revitalizing logical and mathematical conventionalism. (English) Zbl 07247163 New York, NY: Oxford University Press (ISBN 978-0-19-008615-2/hbk; 978-0-19-008616-9/ebook). xx, 385 p. (2020). MSC: 03-02 03A05 03F30 03H15 03F25 00A30 PDF BibTeX XML Cite \textit{J. Warren}, Shadows of syntax. Revitalizing logical and mathematical conventionalism. New York, NY: Oxford University Press (2020; Zbl 07247163) Full Text: DOI
Gajarský, Jakub; Kreutzer, Stephan; Nešetřil, Jaroslav; Ossona de Mendez, Patrice; Pilipczuk, Michał; Siebertz, Sebastian; Toruńczyk, Szymon First-order interpretations of bounded expansion classes. (English) Zbl 1446.68094 ACM Trans. Comput. Log. 21, No. 4, Article No. 29, 41 p. (2020). MSC: 68Q60 03B70 05C75 PDF BibTeX XML Cite \textit{J. Gajarský} et al., ACM Trans. Comput. Log. 21, No. 4, Article No. 29, 41 p. (2020; Zbl 1446.68094) Full Text: DOI
Gajarský, Jakub; Hliněný, Petr; Obdržálek, Jan; Lokshtanov, Daniel; Ramanujan, M. S. A new perspective on FO model checking of dense graph classes. (English) Zbl 1446.68093 ACM Trans. Comput. Log. 21, No. 4, Article No. 28, 23 p. (2020). MSC: 68Q60 03B70 05C75 68Q25 PDF BibTeX XML Cite \textit{J. Gajarský} et al., ACM Trans. Comput. Log. 21, No. 4, Article No. 28, 23 p. (2020; Zbl 1446.68093) Full Text: DOI
Belkasmi, Mohammed Algebraically closed structures in positive logic. (English) Zbl 07240978 Ann. Pure Appl. Logic 171, No. 9, Article ID 102822, 10 p. (2020). MSC: 03C95 03C68 03C48 03C10 PDF BibTeX XML Cite \textit{M. Belkasmi}, Ann. Pure Appl. Logic 171, No. 9, Article ID 102822, 10 p. (2020; Zbl 07240978) Full Text: DOI
Øgaard, Tore Fjetland Substitution in relevant logics. (English) Zbl 07239861 Rev. Symb. Log. 13, No. 3, 655-680 (2020). MSC: 03A05 03B47 03B53 03C07 03C90 03E70 PDF BibTeX XML Cite \textit{T. F. Øgaard}, Rev. Symb. Log. 13, No. 3, 655--680 (2020; Zbl 07239861) Full Text: DOI
Khaled, Mohamed; Székely, Gergely; Lefever, Koen; Friend, Michèle Distances between formal theories. (English) Zbl 07239860 Rev. Symb. Log. 13, No. 3, 633-654 (2020). MSC: 03B99 03C07 03A10 03G99 03B80 PDF BibTeX XML Cite \textit{M. Khaled} et al., Rev. Symb. Log. 13, No. 3, 633--654 (2020; Zbl 07239860) Full Text: DOI
Schurz, Gerhard Logic. Basic and advanced course in propositional and predicate logic. 2nd corrected and enlarged edition. (Logik. Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik.) (German) Zbl 07228829 De Gruyter Studium. Berlin: De Gruyter (ISBN 978-3-11-069714-8/pbk; 978-3-11-069739-1/ebook). xii, 435 p. (2020). MSC: 03-01 03B05 03B10 PDF BibTeX XML Cite \textit{G. Schurz}, Logik. Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik. Berlin: De Gruyter (2020; Zbl 07228829) Full Text: DOI
Seidl, Helmut; Müller, Christian; Finkbeiner, Bernd How to win first-order safety games. (English) Zbl 07228518 Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39321-2/pbk; 978-3-030-39322-9/ebook). Lecture Notes in Computer Science 11990, 426-448 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{H. Seidl} et al., Lect. Notes Comput. Sci. 11990, 426--448 (2020; Zbl 07228518) Full Text: DOI
Peres, Yuval; Swan, Andrew Analyticity for rapidly determined properties of Poisson Galton-Watson trees. (English) Zbl 07225536 Electron. Commun. Probab. 25, Paper No. 43, 8 p. (2020). Reviewer: Bastien Mallein (Paris) MSC: 60J80 05C05 PDF BibTeX XML Cite \textit{Y. Peres} and \textit{A. Swan}, Electron. Commun. Probab. 25, Paper No. 43, 8 p. (2020; Zbl 07225536) Full Text: DOI Euclid
Peretyat’kin, Mikhaĭl G. The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one. (English) Zbl 1437.03128 Sib. Èlektron. Mat. Izv. 17, 913-922 (2020). MSC: 03C57 03D45 03B10 03B25 03G05 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 913--922 (2020; Zbl 1437.03128) Full Text: DOI
Halbach, Volker Formal notes on the substitutional analysis of logical consequence. (English) Zbl 07222694 Notre Dame J. Formal Logic 61, No. 2, 317-339 (2020). MSC: 03A05 00A30 03B10 03A05 03-02 PDF BibTeX XML Cite \textit{V. Halbach}, Notre Dame J. Formal Logic 61, No. 2, 317--339 (2020; Zbl 07222694) Full Text: DOI Euclid
Correia, Fabrice; Rosenkranz, Sven The formalities of temporaryism without presentness. (English) Zbl 07222686 Notre Dame J. Formal Logic 61, No. 2, 181-202 (2020). MSC: 03B45 03B42 03B44 03F45 00A30 03A10 03B44 83A99 00A79 PDF BibTeX XML Cite \textit{F. Correia} and \textit{S. Rosenkranz}, Notre Dame J. Formal Logic 61, No. 2, 181--202 (2020; Zbl 07222686) Full Text: DOI Euclid
Felgner, Ulrich The concepts of equivalence, equality and identity. (Die Begriffe der Äquivalenz, der Gleichheit und der Identität.) (German) Zbl 1442.00005 Jahresber. Dtsch. Math.-Ver. 122, No. 2, 109-129 (2020). Reviewer: Teun Koetsier (Amsterdam) MSC: 00A30 03-03 01A20 01A45 01A55 01A60 03A05 03B10 PDF BibTeX XML Cite \textit{U. Felgner}, Jahresber. Dtsch. Math.-Ver. 122, No. 2, 109--129 (2020; Zbl 1442.00005) Full Text: DOI
Ramos, Jaime; Rasga, João; Sernadas, Cristina Essential structure of proofs as a measure of complexity. (English) Zbl 07205365 Log. Univers. 14, No. 2, 209-242 (2020). Reviewer: Ariel Germán Fernández (Buenos Aires) MSC: 03F20 03F03 03B10 03B22 PDF BibTeX XML Cite \textit{J. Ramos} et al., Log. Univers. 14, No. 2, 209--242 (2020; Zbl 07205365) Full Text: DOI
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. (English) Zbl 1443.68104 Inf. Comput. 272, Article ID 104502, 17 p. (2020). MSC: 68Q60 03B44 68T20 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Inf. Comput. 272, Article ID 104502, 17 p. (2020; Zbl 1443.68104) Full Text: DOI
Reyes, Eduardo Hermo; Joosten, Joost J. The logic of Turing progressions. (English) Zbl 1452.03132 Notre Dame J. Formal Logic 61, No. 1, 155-180 (2020). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F30 03F03 03B45 PDF BibTeX XML Cite \textit{E. H. Reyes} and \textit{J. J. Joosten}, Notre Dame J. Formal Logic 61, No. 1, 155--180 (2020; Zbl 1452.03132) Full Text: DOI Euclid
Fitting, Melvin; Salvatore, Felipe First-order justification logic with constant domain semantics. (English) Zbl 07194697 J. Log. Comput. 30, No. 1, 193-216 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{M. Fitting} and \textit{F. Salvatore}, J. Log. Comput. 30, No. 1, 193--216 (2020; Zbl 07194697) Full Text: DOI
Visser, Albert Another look at the second incompleteness theorem. (English) Zbl 1444.03168 Rev. Symb. Log. 13, No. 2, 269-295 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F40 03B25 03F25 03F30 03F45 03A05 PDF BibTeX XML Cite \textit{A. Visser}, Rev. Symb. Log. 13, No. 2, 269--295 (2020; Zbl 1444.03168) Full Text: DOI
Goris, Evan; Joosten, Joost J. Two new series of principles in the interpretability logic of all reasonable arithmetical theories. (English) Zbl 07190461 J. Symb. Log. 85, No. 1, 1-25 (2020). MSC: 03B45 03B60 03F30 03F40 03F45 PDF BibTeX XML Cite \textit{E. Goris} and \textit{J. J. Joosten}, J. Symb. Log. 85, No. 1, 1--25 (2020; Zbl 07190461) Full Text: DOI
Moghaddam, G. I.; Padmanabhan, R.; Zhang, Yang Automated reasoning with power maps. (English) Zbl 07187043 J. Autom. Reasoning 64, No. 4, 689-697 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{G. I. Moghaddam} et al., J. Autom. Reasoning 64, No. 4, 689--697 (2020; Zbl 07187043) Full Text: DOI
Razafimahatratra, A. S.; Zhukovskii, M. Zero-one laws for \(k\)-variable first-order logic of sparse random graphs. (English) Zbl 1435.05181 Discrete Appl. Math. 276, 121-128 (2020). MSC: 05C80 05C42 03C75 03C13 PDF BibTeX XML Cite \textit{A. S. Razafimahatratra} and \textit{M. Zhukovskii}, Discrete Appl. Math. 276, 121--128 (2020; Zbl 1435.05181) Full Text: DOI
Nilsson, Jørgen Fischer A cube of opposition for predicate logic. (English) Zbl 1443.03005 Log. Univers. 14, No. 1, 103-114 (2020). Reviewer: Godofredo Iommi Amunátegui (Valparaíso) MSC: 03B10 03-03 01A20 01A35 PDF BibTeX XML Cite \textit{J. F. Nilsson}, Log. Univers. 14, No. 1, 103--114 (2020; Zbl 1443.03005) Full Text: DOI
Strößner, Corina Existential import, Aristotelian logic, and its generalizations. (English) Zbl 1442.03001 Log. Univers. 14, No. 1, 69-102 (2020). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A20 03A05 03C80 03B10 PDF BibTeX XML Cite \textit{C. Strößner}, Log. Univers. 14, No. 1, 69--102 (2020; Zbl 1442.03001) Full Text: DOI
McLaughlin, Peter; Schlaudt, Oliver Kant’s antinomies of pure reason and the ‘hexagon of predicate negation’. (English) Zbl 07181827 Log. Univers. 14, No. 1, 51-67 (2020). MSC: 03B10 03B65 PDF BibTeX XML Cite \textit{P. McLaughlin} and \textit{O. Schlaudt}, Log. Univers. 14, No. 1, 51--67 (2020; Zbl 07181827) Full Text: DOI
Beziau, Jean-Yves; Lemanski, Jens The Cretan square. (English) Zbl 1442.03003 Log. Univers. 14, No. 1, 1-5 (2020). Reviewer: Branislav Boričić (Beograd) MSC: 03-06 03A05 03B10 03B52 03B65 03B22 00B25 PDF BibTeX XML Cite \textit{J.-Y. Beziau} and \textit{J. Lemanski}, Log. Univers. 14, No. 1, 1--5 (2020; Zbl 1442.03003) Full Text: DOI
Baumgartner, Peter; Schmidt, Renate A. Blocking and other enhancements for bottom-up model generation methods. (English) Zbl 07176597 J. Autom. Reasoning 64, No. 2, 197-251 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{P. Baumgartner} and \textit{R. A. Schmidt}, J. Autom. Reasoning 64, No. 2, 197--251 (2020; Zbl 07176597) Full Text: DOI
Peirce, Charles S. Logic of the future. Writings on existential graphs. Volume 1. History and applications. Edited by Ahti-Veikko Pietarinen. (English) Zbl 1431.03005 Peirceana 1. Berlin: De Gruyter (ISBN 978-3-11-064934-5/hbk; 978-3-11-065140-9/ebook). xx, 664 p. (2020). MSC: 03-03 03-06 01A75 01A70 03A05 03B10 PDF BibTeX XML Cite \textit{C. S. Peirce}, Logic of the future. Writings on existential graphs. Volume 1. History and applications. Edited by Ahti-Veikko Pietarinen. Berlin: De Gruyter (2020; Zbl 1431.03005) Full Text: DOI
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. On the parameterized complexity of graph modification to first-order logic properties. (English) Zbl 1434.68208 Theory Comput. Syst. 64, No. 2, 251-271 (2020). MSC: 68Q27 68Q19 68R10 PDF BibTeX XML Cite \textit{F. V. Fomin} et al., Theory Comput. Syst. 64, No. 2, 251--271 (2020; Zbl 1434.68208) Full Text: DOI
Albert, Michael; Bouvel, Mathilde; Féray, Valentin Two first-order logics of permutations. (English) Zbl 1433.05004 J. Comb. Theory, Ser. A 171, Article ID 105158, 46 p. (2020). MSC: 05A05 03B10 PDF BibTeX XML Cite \textit{M. Albert} et al., J. Comb. Theory, Ser. A 171, Article ID 105158, 46 p. (2020; Zbl 1433.05004) Full Text: DOI
Salehi, Saeed; Zarza, Mohammadsaleh First-order continuous induction and a logical study of real closed fields. (English) Zbl 07157008 Bull. Iran. Math. Soc. 46, No. 1, 225-243 (2020). MSC: 03B25 03C35 03C10 12L05 PDF BibTeX XML Cite \textit{S. Salehi} and \textit{M. Zarza}, Bull. Iran. Math. Soc. 46, No. 1, 225--243 (2020; Zbl 07157008) Full Text: DOI
Rocha, Thiago Alves; Martins, Ana Teresa; Ferreira, Francicleber Martins Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. (English) Zbl 1436.68154 Theor. Comput. Sci. 805, 109-126 (2020). MSC: 68Q32 03B70 03C07 03C13 68R07 PDF BibTeX XML Cite \textit{T. A. Rocha} et al., Theor. Comput. Sci. 805, 109--126 (2020; Zbl 1436.68154) Full Text: DOI
Place, Thomas; Zeitoun, Marc Adding successor. A transfer theorem for separation and covering. (English) Zbl 1433.03103 ACM Trans. Comput. Log. 21, No. 2, Article No. 9, 45 p. (2020). MSC: 03D05 68Q45 PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, ACM Trans. Comput. Log. 21, No. 2, Article No. 9, 45 p. (2020; Zbl 1433.03103) Full Text: DOI
Bana, Gergei; Chadha, Rohit; Eeralla, Ajay Kumar; Okada, Mitsuhiro Verification methods for the computationally complete symbolic attacker based on indistinguishability. (English) Zbl 1433.68075 ACM Trans. Comput. Log. 21, No. 1, Article No. 2, 44 p. (2020). MSC: 68M25 94A60 PDF BibTeX XML Cite \textit{G. Bana} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 2, 44 p. (2020; Zbl 1433.68075) Full Text: DOI
Shimamura, Shuhei A first-order sequent calculus for logical inferentialists and expressivists. (English) Zbl 07307084 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 211-228 (2019). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{S. Shimamura}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 211--228 (2019; Zbl 07307084)
Ferguson, Thomas Macaulay Inconsistent models (and infinite models) for arithmetics with constructible falsity. (English) Zbl 07291232 Log. Log. Philos. 28, No. 3, 389-407 (2019). MSC: 03 PDF BibTeX XML Cite \textit{T. M. Ferguson}, Log. Log. Philos. 28, No. 3, 389--407 (2019; Zbl 07291232) Full Text: DOI
Sedlár, Igor; Šebela, Karel Term negation in first-order logic. (English) Zbl 07285075 Log. Anal., Nouv. Sér. 62, No. 247, 265-284 (2019). MSC: 03B10 PDF BibTeX XML Cite \textit{I. Sedlár} and \textit{K. Šebela}, Log. Anal., Nouv. Sér. 62, No. 247, 265--284 (2019; Zbl 07285075) Full Text: DOI
Nikitchenko, Mykola; Shkilniak, Oksana; Shkilniak, Stepan; Mamedov, Tohrul Completeness of the first-order logic of partial quasiary predicates with the complement composition. (English) Zbl 1446.03066 Comput. Sci. J. Mold. 27, No. 2, 162-187 (2019). MSC: 03B70 03B10 PDF BibTeX XML Cite \textit{M. Nikitchenko} et al., Comput. Sci. J. Mold. 27, No. 2, 162--187 (2019; Zbl 1446.03066) Full Text: Link
Augusto, Luis M. Formal logic. Classical problems and proofs. (English) Zbl 1451.03001 Studies in Logic (London) 82. London: College Publications (ISBN 978-1-84890-317-3). xix, 404 p. (2019). MSC: 03-01 03A05 03B10 03B25 03B35 68V15 PDF BibTeX XML Cite \textit{L. M. Augusto}, Formal logic. Classical problems and proofs. London: College Publications (2019; Zbl 1451.03001)
von Plato, Jan What are the axioms for numbers and who invented them? (English) Zbl 07237982 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 343-356 (2019). MSC: 03A05 00A30 03F30 PDF BibTeX XML Cite \textit{J. von Plato}, in: Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. 343--356 (2019; Zbl 07237982) Full Text: DOI
Parsons, Charles Remarks on two papers of Paul Bernays. (English) Zbl 07237979 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 297-312 (2019). MSC: 03A05 00A30 03F25 03F30 03-03 01A60 PDF BibTeX XML Cite \textit{C. Parsons}, in: Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. 297--312 (2019; Zbl 07237979) Full Text: DOI
Tait, William What Hilbert and Bernays meant by “finitism”. (English) Zbl 07237977 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 249-261 (2019). MSC: 03A05 03-03 00A30 03F30 PDF BibTeX XML Cite \textit{W. Tait}, in: Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. 249--261 (2019; Zbl 07237977) Full Text: DOI
Kienzler, Wolfgang Three types and traditions of logic: syllogistic, calculus and predicate logic. (English) Zbl 07237971 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 133-152 (2019). MSC: 03-03 01A55 01A60 03B10 03A05 PDF BibTeX XML Cite \textit{W. Kienzler}, in: Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. 133--152 (2019; Zbl 07237971) Full Text: DOI
Ceragioli, Leonardo Peano’s counterexample to harmony. (English) Zbl 1452.03008 Theoria 85, No. 6, 459-484 (2019). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03A05 03F03 03F30 PDF BibTeX XML Cite \textit{L. Ceragioli}, Theoria 85, No. 6, 459--484 (2019; Zbl 1452.03008) Full Text: DOI
Heikkila, Seppo Consistent theories of truth for languages which conform to classical logic. (English) Zbl 07222349 Nonlinear Stud. 26, No. 4, 843-859 (2019). MSC: 03B10 03B65 03D80 91F20 97M80 PDF BibTeX XML Cite \textit{S. Heikkila}, Nonlinear Stud. 26, No. 4, 843--859 (2019; Zbl 07222349) Full Text: Link
Nešetřil, Jaroslav; de Mendez, Patrice Ossona Existence of modeling limits for sequences of sparse structures. (English) Zbl 1444.03126 J. Symb. Log. 84, No. 2, 452-472 (2019). Reviewer: Daniele Mundici (Firenze) MSC: 03C30 03C98 05C99 03C45 28E15 03C50 PDF BibTeX XML Cite \textit{J. Nešetřil} and \textit{P. O. de Mendez}, J. Symb. Log. 84, No. 2, 452--472 (2019; Zbl 1444.03126) Full Text: DOI
Berghammer, Rudolf Mathematics for computer science. Basic concepts, structures and their applications. 3rd expanded and updated edition. (Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung.) (German) Zbl 07185547 Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 00A06 03B05 03B10 03E20 68N01 68N30 68P05 68Q60 68R10 68W01 PDF BibTeX XML Cite \textit{R. Berghammer}, Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung. 3rd expanded and updated edition. Wiesbaden: Springer Vieweg (2019; Zbl 07185547) Full Text: DOI
Gutiérrez, Raúl; Lucas, Salvador Automatic generation of logical models with AGES. (English) Zbl 07178982 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 287-299 (2019). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 11716, 287--299 (2019; Zbl 07178982) Full Text: DOI
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef GRUNGE: a grand unified ATP challenge. (English) Zbl 07178973 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 123-141 (2019). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{C. E. Brown} et al., Lect. Notes Comput. Sci. 11716, 123--141 (2019; Zbl 07178973) Full Text: DOI
Andrade de Melo, Alexsander; de Oliveira Oliveira, Mateus On the width of regular classes of finite structures. (English) Zbl 07178967 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 18-34 (2019). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{A. Andrade de Melo} and \textit{M. de Oliveira Oliveira}, Lect. Notes Comput. Sci. 11716, 18--34 (2019; Zbl 07178967) Full Text: DOI
Shalack, Vladimir I. Peirce’s thesis: logical analysis and ontological consequences. (Russian. English summary) Zbl 1446.03023 Log. Issled. 25, No. 2, 138-163 (2019). MSC: 03B10 03C07 PDF BibTeX XML Cite \textit{V. I. Shalack}, Log. Issled. 25, No. 2, 138--163 (2019; Zbl 1446.03023) Full Text: Link
Japaridze, Giorgi Arithmetics base on computability logic. (English) Zbl 1446.03101 Log. Issled. 25, No. 2, 61-74 (2019). MSC: 03F30 03B70 03F50 PDF BibTeX XML Cite \textit{G. Japaridze}, Log. Issled. 25, No. 2, 61--74 (2019; Zbl 1446.03101) Full Text: DOI
Kontinen, Juha; Yang, Fan Logics for first-order team properties. (English) Zbl 07176938 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 392-414 (2019). MSC: 03B70 PDF BibTeX XML Cite \textit{J. Kontinen} and \textit{F. Yang}, Lect. Notes Comput. Sci. 11541, 392--414 (2019; Zbl 07176938) Full Text: DOI
Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia Rigid first-order hybrid logic. (English) Zbl 07176918 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 53-69 (2019). MSC: 03B70 PDF BibTeX XML Cite \textit{P. Blackburn} et al., Lect. Notes Comput. Sci. 11541, 53--69 (2019; Zbl 07176918) Full Text: DOI
Pavlović, Edi; Gratzl, Norbert Proof-theoretic analysis of the quantified argument calculus. (English) Zbl 07171840 Rev. Symb. Log. 12, No. 4, 607-636 (2019). MSC: 03F03 03F05 03B10 03B65 PDF BibTeX XML Cite \textit{E. Pavlović} and \textit{N. Gratzl}, Rev. Symb. Log. 12, No. 4, 607--636 (2019; Zbl 07171840) Full Text: DOI
Hella, Lauri T.; Vilander, Miikka S. Formula size games for modal logic and \(\mu\)-calculus. (English) Zbl 1444.03059 J. Log. Comput. 29, No. 8, 1311-1344 (2019). MSC: 03B45 PDF BibTeX XML Cite \textit{L. T. Hella} and \textit{M. S. Vilander}, J. Log. Comput. 29, No. 8, 1311--1344 (2019; Zbl 1444.03059) Full Text: DOI
Kiefer, Sandra; Ponomarenko, Ilia; Schweitzer, Pascal The Weisfeiler-Leman dimension of planar graphs is at most 3. (English) Zbl 07165896 J. ACM 66, No. 6, Article No. 44, 31 p. (2019). MSC: 68 PDF BibTeX XML Cite \textit{S. Kiefer} et al., J. ACM 66, No. 6, Article No. 44, 31 p. (2019; Zbl 07165896) Full Text: DOI
Álvez, Javier; Hermo, Montserrat; Lucio, Paqui; Rigau, German Automatic white-box testing of first-order logic ontologies. (English) Zbl 1442.68225 J. Log. Comput. 29, No. 5, 723-751 (2019). MSC: 68T30 03B70 68V15 PDF BibTeX XML Cite \textit{J. Álvez} et al., J. Log. Comput. 29, No. 5, 723--751 (2019; Zbl 1442.68225) Full Text: DOI
Szwast, Wiesław; Tendera, Lidia On the satisfiability problem for fragments of two-variable logic with one transitive relation. (English) Zbl 1444.03011 J. Log. Comput. 29, No. 6, 881-911 (2019). MSC: 03B25 03B20 68Q25 PDF BibTeX XML Cite \textit{W. Szwast} and \textit{L. Tendera}, J. Log. Comput. 29, No. 6, 881--911 (2019; Zbl 1444.03011) Full Text: DOI
Kuske, Dietrich; Zetzsche, Georg Languages ordered by the subword order. (English) Zbl 07158707 Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-17126-1/pbk; 978-3-030-17127-8/ebook). Lecture Notes in Computer Science 11425, 348-364 (2019). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{D. Kuske} and \textit{G. Zetzsche}, Lect. Notes Comput. Sci. 11425, 348--364 (2019; Zbl 07158707) Full Text: DOI
Lucas, Salvador Proving semantic properties as first-order satisfiability. (English) Zbl 07153688 Artif. Intell. 277, Article ID 103174, 24 p. (2019). MSC: 68T PDF BibTeX XML Cite \textit{S. Lucas}, Artif. Intell. 277, Article ID 103174, 24 p. (2019; Zbl 07153688) Full Text: DOI
Nakamura, Yoshiki The undecidability of FO3 and the calculus of relations with just one binary relation. (English) Zbl 07150813 Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-58770-6/pbk; 978-3-662-58771-3/ebook). Lecture Notes in Computer Science 11600, 108-120 (2019). MSC: 03Bxx 68T27 PDF BibTeX XML Cite \textit{Y. Nakamura}, Lect. Notes Comput. Sci. 11600, 108--120 (2019; Zbl 07150813) Full Text: DOI
Pratt-Hartmann, Ian Transitivity and equivalence in decidable fragments of first-order logic: a survey. (English) Zbl 07150812 Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-58770-6/pbk; 978-3-662-58771-3/ebook). Lecture Notes in Computer Science 11600, 103-107 (2019). MSC: 03Bxx 68T27 PDF BibTeX XML Cite \textit{I. Pratt-Hartmann}, Lect. Notes Comput. Sci. 11600, 103--107 (2019; Zbl 07150812) Full Text: DOI
Fowler, Michael D. John Cage’s Silent Piece and the Japanese gardening technique of shakkei: formalizing Whittington’s conjecture through conceptual graphs. (English) Zbl 1428.00022 J. Math. Music 13, No. 1, 4-26 (2019). MSC: 00A65 00A66 68T30 PDF BibTeX XML Cite \textit{M. D. Fowler}, J. Math. Music 13, No. 1, 4--26 (2019; Zbl 1428.00022) Full Text: DOI
Hellings, Jelle; Gyssens, Marc; van Gucht, Dirk; Wu, Yuqing First-order definable counting-only queries. (English) Zbl 1452.68070 Ann. Math. Artif. Intell. 87, No. 1-2, 109-136 (2019). MSC: 68P15 03B70 PDF BibTeX XML Cite \textit{J. Hellings} et al., Ann. Math. Artif. Intell. 87, No. 1--2, 109--136 (2019; Zbl 1452.68070) Full Text: DOI
Sørensen, Morten Heine Book review of: R. Smullyan, A beginner’s further guide to mathematical logic. (English) Zbl 1436.00030 Stud. Log. 107, No. 5, 1079-1081 (2019). MSC: 00A17 03-01 03B05 03B10 03D20 03B40 03D10 03D25 PDF BibTeX XML Cite \textit{M. H. Sørensen}, Stud. Log. 107, No. 5, 1079--1081 (2019; Zbl 1436.00030) Full Text: DOI
Chen, Yijia; Elberfeld, Michael; Müller, Moritz The parameterized space complexity of model-checking bounded variable first-order logic. (English) Zbl 07136657 Log. Methods Comput. Sci. 15, No. 3, Paper No. 31, 29 p. (2019). MSC: 03B70 68 PDF BibTeX XML Cite \textit{Y. Chen} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 31, 29 p. (2019; Zbl 07136657) Full Text: DOI arXiv
Aameri, Bahar; Grüninger, Michael A representation theorem for change through composition of activities. (English) Zbl 1433.68426 ACM Trans. Comput. Log. 20, No. 4, Article No. 20, 31 p. (2019). MSC: 68T30 03B42 68T27 PDF BibTeX XML Cite \textit{B. Aameri} and \textit{M. Grüninger}, ACM Trans. Comput. Log. 20, No. 4, Article No. 20, 31 p. (2019; Zbl 1433.68426) Full Text: DOI
Place, Thomas; Zeitoun, Marc Going higher in first-order quantifier alternation hierarchies on words. (English) Zbl 1427.03050 J. ACM 66, No. 2, Article No. 12, 65 p. (2019). MSC: 03D05 03B25 03C13 PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, J. ACM 66, No. 2, Article No. 12, 65 p. (2019; Zbl 1427.03050) Full Text: DOI
Fontaine, Matthieu Hintikka, free Logician. Hintikka, free Logician, singular terms in World lines Semantics. (English) Zbl 07127906 Log. Univers. 13, No. 2, 179-201 (2019). MSC: 03B45 03C07 03C10 03C80 PDF BibTeX XML Cite \textit{M. Fontaine}, Log. Univers. 13, No. 2, 179--201 (2019; Zbl 07127906) Full Text: DOI
Mion, Giovanni Hintikka on the “Kant-Frege view”: a critical assessment. (English) Zbl 07127905 Log. Univers. 13, No. 2, 171-178 (2019). MSC: 03B10 03B65 PDF BibTeX XML Cite \textit{G. Mion}, Log. Univers. 13, No. 2, 171--178 (2019; Zbl 07127905) Full Text: DOI
Dzik, Wojciech; Wojtylak, Piotr Unification in first-order transitive modal logic. (English) Zbl 07125824 Log. J. IGPL 27, No. 5, 693-717 (2019). MSC: 03 68 PDF BibTeX XML Cite \textit{W. Dzik} and \textit{P. Wojtylak}, Log. J. IGPL 27, No. 5, 693--717 (2019; Zbl 07125824) Full Text: DOI
Hils, Martin; Loeser, François A first journey through logic. (English) Zbl 1445.03001 Student Mathematical Library 89. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5272-8/pbk; 978-1-4704-5407-4/ebook). xi, 185 p. (2019). Reviewer: Mitsuru Yasuhara (Princeton) MSC: 03-01 03B10 03Exx 03Fxx PDF BibTeX XML Cite \textit{M. Hils} and \textit{F. Loeser}, A first journey through logic. Providence, RI: American Mathematical Society (AMS) (2019; Zbl 1445.03001) Full Text: DOI
Catta, Davide Book review of: N. Francez, Proof-theoretic semantics. (English) Zbl 1435.00022 Bull. Symb. Log. 25, No. 3, 360-362 (2019). MSC: 00A17 03-02 03F03 03B05 03B10 03B65 PDF BibTeX XML Cite \textit{D. Catta}, Bull. Symb. Log. 25, No. 3, 360--362 (2019; Zbl 1435.00022) Full Text: DOI
Palmgren, Erik Categories with families and first-order logic with dependent sorts. (English) Zbl 07114351 Ann. Pure Appl. Logic 170, No. 12, Article ID 102715, 75 p. (2019). MSC: 18C10 03B15 03F50 03G30 68Q55 PDF BibTeX XML Cite \textit{E. Palmgren}, Ann. Pure Appl. Logic 170, No. 12, Article ID 102715, 75 p. (2019; Zbl 07114351) Full Text: DOI
Ardeshir, Mohammad; Mojtahedi, Mojtaba The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\). (English) Zbl 1439.03105 J. Symb. Log. 84, No. 3, 1118-1135 (2019). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F30 03F55 PDF BibTeX XML Cite \textit{M. Ardeshir} and \textit{M. Mojtahedi}, J. Symb. Log. 84, No. 3, 1118--1135 (2019; Zbl 1439.03105) Full Text: DOI
Pratt-Hartmann, Ian; Szwast, Wiesław; Tendera, Lidia The fluted fragment revisited. (English) Zbl 07106184 J. Symb. Log. 84, No. 3, 1020-1048 (2019). MSC: 03B20 68Q17 68Q25 PDF BibTeX XML Cite \textit{I. Pratt-Hartmann} et al., J. Symb. Log. 84, No. 3, 1020--1048 (2019; Zbl 07106184) Full Text: DOI