Hirata, Michikazu; Minamide, Yasuhiko; Sato, Tetsuya Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 57-74 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{M. Hirata} et al., Lect. Notes Comput. Sci. 13215, 57--74 (2022; Zbl 07570114) Full Text: DOI OpenURL
Curien, Pierre-Louis; Thanh, Cédric Ho; Mimram, Samuel Type theoretical approaches to opetopes. (English) Zbl 07567918 High. Struct. 6, No. 1, 80-181 (2022). MSC: 18Mxx 03B15 PDF BibTeX XML Cite \textit{P.-L. Curien} et al., High. Struct. 6, No. 1, 80--181 (2022; Zbl 07567918) Full Text: Link OpenURL
Bordg, Anthony; Paulson, Lawrence; Li, Wenda Simple type theory is not too simple: Grothendieck’s schemes without dependent types. (English) Zbl 07566888 Exp. Math. 31, No. 2, 364-382 (2022). MSC: 14A15 14-04 03B35 68V20 PDF BibTeX XML Cite \textit{A. Bordg} et al., Exp. Math. 31, No. 2, 364--382 (2022; Zbl 07566888) Full Text: DOI OpenURL
Picollo, Lavinia; Schindler, Thomas Higher-order logic and disquotational truth. (English) Zbl 07557917 J. Philos. Log. 51, No. 4, 879-918 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{L. Picollo} and \textit{T. Schindler}, J. Philos. Log. 51, No. 4, 879--918 (2022; Zbl 07557917) Full Text: DOI OpenURL
Wcisło, Bartosz Full satisfaction classes, definability, and automorphisms. (English) Zbl 07556128 Notre Dame J. Formal Logic 63, No. 2, 143-163 (2022). MSC: 03H15 03A99 03B30 03C62 03F35 PDF BibTeX XML Cite \textit{B. Wcisło}, Notre Dame J. Formal Logic 63, No. 2, 143--163 (2022; Zbl 07556128) Full Text: DOI OpenURL
Ditter, Andreas Essence and necessity. (English) Zbl 07535476 J. Philos. Log. 51, No. 3, 653-690 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Ditter}, J. Philos. Log. 51, No. 3, 653--690 (2022; Zbl 07535476) Full Text: DOI OpenURL
Petersen, Uwe Is cut-free logic fit for unrestricted abstraction? (English) Zbl 07514088 Ann. Pure Appl. Logic 173, No. 6, Article ID 103101, 22 p. (2022). MSC: 03B53 03B16 03F45 03F40 PDF BibTeX XML Cite \textit{U. Petersen}, Ann. Pure Appl. Logic 173, No. 6, Article ID 103101, 22 p. (2022; Zbl 07514088) 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
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
Salehi, Saeed ‘Sometime a paradox’, now proof: Yablo is not first order. (English) Zbl 07500472 Log. J. IGPL 30, No. 1, 71-77 (2022). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03A05 03B16 PDF BibTeX XML Cite \textit{S. Salehi}, Log. J. IGPL 30, No. 1, 71--77 (2022; Zbl 07500472) Full Text: DOI OpenURL
Funk, Daryl; Mayhew, Dillon; Newman, Mike Defining bicircular matroids in monadic logic. (English) Zbl 07499694 Q. J. Math. 73, No. 1, 65-92 (2022). MSC: 03C40 03B16 05B35 PDF BibTeX XML Cite \textit{D. Funk} et al., Q. J. Math. 73, No. 1, 65--92 (2022; Zbl 07499694) Full Text: DOI OpenURL
Bacon, Andrew; Zeng, Jin A theory of necessities. (English) Zbl 07484059 J. Philos. Log. 51, No. 1, 151-199 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Bacon} and \textit{J. Zeng}, J. Philos. Log. 51, No. 1, 151--199 (2022; Zbl 07484059) Full Text: DOI OpenURL
Goodsell, Zachary Arithmetic is determinate. (English) Zbl 07484058 J. Philos. Log. 51, No. 1, 127-150 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{Z. Goodsell}, J. Philos. Log. 51, No. 1, 127--150 (2022; Zbl 07484058) Full Text: DOI OpenURL
Uemura, Taichi The universal exponentiable arrow. (English) Zbl 07481858 J. Pure Appl. Algebra 226, No. 7, Article ID 106991, 32 p. (2022). MSC: 18A40 18C10 03B15 PDF BibTeX XML Cite \textit{T. Uemura}, J. Pure Appl. Algebra 226, No. 7, Article ID 106991, 32 p. (2022; Zbl 07481858) Full Text: DOI arXiv OpenURL
Fürer, Basil; Lochbihler, Andreas; Schneider, Joshua; Traytel, Dmitriy Quotients of bounded natural functors. (English) Zbl 07471712 Log. Methods Comput. Sci. 18, No. 1, Paper No. 23, 28 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{B. Fürer} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 23, 28 p. (2022; Zbl 07471712) Full Text: arXiv Link OpenURL
Droste, Manfred; Dziadek, Sven; Kuich, Werner Logic for \(\omega\)-pushdown automata. (English) Zbl 07452659 Inf. Comput. 282, Article ID 104659, 11 p. (2022). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 03B16 03D05 PDF BibTeX XML Cite \textit{M. Droste} et al., Inf. Comput. 282, Article ID 104659, 11 p. (2022; Zbl 07452659) Full Text: DOI OpenURL
Abdelghany, Mohamed; Tahar, Sofiène Formalization of RBD-based cause consequence analysis in HOL. (English) Zbl 1485.68289 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 47-64 (2021). MSC: 68V20 68M15 90B25 PDF BibTeX XML Cite \textit{M. Abdelghany} and \textit{S. Tahar}, Lect. Notes Comput. Sci. 12833, 47--64 (2021; Zbl 1485.68289) Full Text: DOI OpenURL
Broadbent, Christopher H.; Carayol, Arnaud; Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier Collapsible pushdown parity games. (English) Zbl 07480990 ACM Trans. Comput. Log. 22, No. 3, Article No. 16, 51 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{C. H. Broadbent} et al., ACM Trans. Comput. Log. 22, No. 3, Article No. 16, 51 p. (2021; Zbl 07480990) Full Text: DOI arXiv OpenURL
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe On higher-order probabilistic subrecursion. (English) Zbl 1486.68039 Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021). MSC: 68N30 03B40 68N19 68Q10 68Q55 PDF BibTeX XML Cite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021; Zbl 1486.68039) Full Text: arXiv Link OpenURL
Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa Efficient full higher-order unification. (English) Zbl 07471678 Log. Methods Comput. Sci. 17, No. 4, Paper No. 18, 31 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{P. Vukmirović} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 18, 31 p. (2021; Zbl 07471678) Full Text: arXiv Link OpenURL
Mitani, Yo; Kobayashi, Naoki; Tsukada, Takeshi A probabilistic higher-order fixpoint logic. (English) Zbl 07471675 Log. Methods Comput. Sci. 17, No. 4, Paper No. 15, 36 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{Y. Mitani} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 15, 36 p. (2021; Zbl 07471675) Full Text: arXiv Link OpenURL
Normann, Dag; Sanders, Sam The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis. (English) Zbl 07471469 J. Log. Comput. 31, No. 1, 297-325 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{D. Normann} and \textit{S. Sanders}, J. Log. Comput. 31, No. 1, 297--325 (2021; Zbl 07471469) Full Text: DOI arXiv OpenURL
Kanckos, Annika; Lethen, Tim The Development Of Gödel’s ontological proof. (English) Zbl 07469714 Rev. Symb. Log. 14, No. 4, 1011-1029 (2021). MSC: 03B15 03B45 01A60 03-03 PDF BibTeX XML Cite \textit{A. Kanckos} and \textit{T. Lethen}, Rev. Symb. Log. 14, No. 4, 1011--1029 (2021; Zbl 07469714) Full Text: DOI OpenURL
Ebels-Duggan, Sean C. Deductive cardinality results and nuisance-like principles. (English) Zbl 07464263 Rev. Symb. Log. 14, No. 3, 592-623 (2021). MSC: 03B16 00A30 03A05 PDF BibTeX XML Cite \textit{S. C. Ebels-Duggan}, Rev. Symb. Log. 14, No. 3, 592--623 (2021; Zbl 07464263) Full Text: DOI OpenURL
Bjorndahl, Adam; Nalls, Will Endogenizing epistemic actions. (English) Zbl 07450686 Stud. Log. 109, No. 5, 1049-1091 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Bjorndahl} and \textit{W. Nalls}, Stud. Log. 109, No. 5, 1049--1091 (2021; Zbl 07450686) 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
Santo, José Espírito; Ferreira, Gilda The Russell-Prawitz embedding and the atomization of universal instantiation. (English) Zbl 07438998 Log. J. IGPL 29, No. 5, 823-858 (2021). MSC: 03B20 03B16 PDF BibTeX XML Cite \textit{J. E. Santo} and \textit{G. Ferreira}, Log. J. IGPL 29, No. 5, 823--858 (2021; Zbl 07438998) Full Text: DOI arXiv OpenURL
Fritz, Peter; Lederman, Harvey; Uzquiano, Gabriel Closed structure. (English) Zbl 07437457 J. Philos. Log. 50, No. 6, 1249-1291 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{P. Fritz} et al., J. Philos. Log. 50, No. 6, 1249--1291 (2021; Zbl 07437457) Full Text: DOI OpenURL
Bentkamp, Alexander; Blanchette, Jasmin; Tourret, Sophie; Vukmirović, Petar Superposition for full higher-order logic. (English) Zbl 07437091 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 396-412 (2021). Reviewer: Łukasz Czajka (Dortmund) MSC: 03B35 03B16 68V15 PDF BibTeX XML Cite \textit{A. Bentkamp} et al., Lect. Notes Comput. Sci. 12699, 396--412 (2021; Zbl 07437091) Full Text: DOI OpenURL
Bentkamp, Alexander; Blanchette, Jasmin; Tourret, Sophie; Vukmirović, Petar; Waldmann, Uwe Superposition with lambdas. (English) Zbl 07433023 J. Autom. Reasoning 65, No. 7, 893-940 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Bentkamp} et al., J. Autom. Reasoning 65, No. 7, 893--940 (2021; Zbl 07433023) Full Text: DOI OpenURL
Steen, Alexander; Benzmüller, Christoph Extensional higher-order paramodulation in Leo-III. (English) Zbl 07432187 J. Autom. Reasoning 65, No. 6, 775-807 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Steen} and \textit{C. Benzmüller}, J. Autom. Reasoning 65, No. 6, 775--807 (2021; Zbl 07432187) Full Text: DOI arXiv OpenURL
Bordg, Anthony; Lachnitt, Hanna; He, Yijun Certified quantum computation in Isabelle/HOL. (English) Zbl 07432184 J. Autom. Reasoning 65, No. 5, 691-709 (2021). MSC: 03B35 03B15 81P68 68Q12 PDF BibTeX XML Cite \textit{A. Bordg} et al., J. Autom. Reasoning 65, No. 5, 691--709 (2021; Zbl 07432184) Full Text: DOI arXiv OpenURL
Hoelzel, Matthias; Wilke, Richard On the union closed fragment of existential second-order logic and logics with team semantics. (English) Zbl 07407786 Log. Methods Comput. Sci. 17, No. 3, Paper No. 14, 32 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Hoelzel} and \textit{R. Wilke}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 14, 32 p. (2021; Zbl 07407786) Full Text: arXiv Link OpenURL
Espírito Santo, José; Matthes, Ralph; Pinto, Luís A coinductive approach to proof search through typed lambda-calculi. (English) Zbl 07404818 Ann. Pure Appl. Logic 172, No. 10, Article ID 103026, 44 p. (2021). MSC: 03F07 03B40 03B15 68N18 PDF BibTeX XML Cite \textit{J. Espírito Santo} et al., Ann. Pure Appl. Logic 172, No. 10, Article ID 103026, 44 p. (2021; Zbl 07404818) Full Text: DOI arXiv OpenURL
Hötzel Escardó, Martín The Cantor-Schröder-Bernstein theorem for \(\infty\)-groupoids. (English) Zbl 07402358 J. Homotopy Relat. Struct. 16, No. 3, 363-366 (2021). MSC: 03-XX 55U40 03B15 03F55 03B38 PDF BibTeX XML Cite \textit{M. Hötzel Escardó}, J. Homotopy Relat. Struct. 16, No. 3, 363--366 (2021; Zbl 07402358) Full Text: DOI arXiv OpenURL
Wattanatripop, Khwancheewa; Kumduang, Thodsaporn; Leeratanavalee, Sorasak; Changphas, Thawhat Power Menger algebra of terms induced by order-decreasing transformations and superpositions. (English) Zbl 07394967 Int. J. Math. Comput. Sci. 16, No. 4, 1697-1707 (2021). MSC: 08A05 03D05 03B15 PDF BibTeX XML Cite \textit{K. Wattanatripop} et al., Int. J. Math. Comput. Sci. 16, No. 4, 1697--1707 (2021; Zbl 07394967) Full Text: Link OpenURL
Kumduang, Thodsaporn; Wattanatripop, Khwancheewa; Changphas, Thawhat Tree languages with fixed variables and their algebraic structures. (English) Zbl 07394966 Int. J. Math. Comput. Sci. 16, No. 4, 1683-1696 (2021). MSC: 08A05 03D05 03B15 PDF BibTeX XML Cite \textit{T. Kumduang} et al., Int. J. Math. Comput. Sci. 16, No. 4, 1683--1696 (2021; Zbl 07394966) Full Text: Link OpenURL
Uftring, Patrick The characterization of Weihrauch reducibility in systems containing \(E-PA^{\omega } + QF-AC^{0,0}\). (English) Zbl 07370811 J. Symb. Log. 86, No. 1, 224-261 (2021). MSC: 03B47 03F52 03D65 03D30 PDF BibTeX XML Cite \textit{P. Uftring}, J. Symb. Log. 86, No. 1, 224--261 (2021; Zbl 07370811) Full Text: DOI arXiv OpenURL
Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe Superposition for lambda-free higher-order logic. (English) Zbl 07350767 Log. Methods Comput. Sci. 17, No. 2, Paper No. 1, 38 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Bentkamp} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 1, 38 p. (2021; Zbl 07350767) Full Text: arXiv Link OpenURL
Ramezanian, Rahim; Ramezanian, Rasoul; van Ditmarsch, Hans; Gattinger, Malvin Everyone knows that everyone knows. (English) Zbl 07326272 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 117-133 (2021). MSC: 03A05 03Bxx PDF BibTeX XML Cite \textit{R. Ramezanian} et al., Log. Epistemol. Unity Sci. 49, 117--133 (2021; Zbl 07326272) Full Text: DOI arXiv OpenURL
Trueman, Robert Properties and propositions. The metaphysics of higher-order logic. (English) Zbl 07274644 Cambridge: Cambridge University Press (ISBN 978-1-108-84047-7/hbk; 978-1-108-88612-3/ebook). xi, 227 p. (2021). MSC: 03-02 03A05 03B16 PDF BibTeX XML Cite \textit{R. Trueman}, Properties and propositions. The metaphysics of higher-order logic. Cambridge: Cambridge University Press (2021; Zbl 07274644) Full Text: DOI OpenURL
Barbero, Fausto Complexity of syntactical tree fragments of independence-friendly logic. (English) Zbl 07260106 Ann. Pure Appl. Logic 172, No. 1, Article ID 102859, 43 p. (2021). MSC: 03C80 03C85 03B60 68Q19 PDF BibTeX XML Cite \textit{F. Barbero}, Ann. Pure Appl. Logic 172, No. 1, Article ID 102859, 43 p. (2021; Zbl 07260106) Full Text: DOI arXiv OpenURL
Ferrarotti, Flavio; Gonzáles, Senén; Schewe, Klaus-Dieter; Turull-Torres, José María A restricted second-order logic for non-deterministic poly-logarithmic time. (English) Zbl 07542740 Log. J. IGPL 28, No. 3, 389-412 (2020). MSC: 03B16 03C13 68Q19 68P15 PDF BibTeX XML Cite \textit{F. Ferrarotti} et al., Log. J. IGPL 28, No. 3, 389--412 (2020; Zbl 07542740) Full Text: DOI OpenURL
Courcelle, Bruno Betweenness of partial orders. (English) Zbl 1484.03050 RAIRO, Theor. Inform. Appl. 54, Paper No. 7, 10 p. (2020). MSC: 03C15 06A06 03B16 03C13 PDF BibTeX XML Cite \textit{B. Courcelle}, RAIRO, Theor. Inform. Appl. 54, Paper No. 7, 10 p. (2020; Zbl 1484.03050) Full Text: DOI arXiv OpenURL
Reiche, Sebastian; Benzmüller, Christoph Public announcement logic in HOL. (English) Zbl 07437025 Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 222-238 (2020). MSC: 03B42 68V15 PDF BibTeX XML Cite \textit{S. Reiche} and \textit{C. Benzmüller}, Lect. Notes Comput. Sci. 12569, 222--238 (2020; Zbl 07437025) Full Text: DOI arXiv 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
Niestegge, Gerd A simple and quantum-mechanically motivated characterization of the formally real Jordan algebras. (English) Zbl 1472.81009 Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 476, No. 2233, Article ID 20190604, 14 p. (2020). MSC: 81P10 PDF BibTeX XML Cite \textit{G. Niestegge}, Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 476, No. 2233, Article ID 20190604, 14 p. (2020; Zbl 1472.81009) Full Text: DOI arXiv OpenURL
Gengelbach, Arve; Weber, Tjark Proof-theoretic conservative extension of HOL with ad-hoc overloading. (English) Zbl 07369981 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, 23-42 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Gengelbach} and \textit{T. Weber}, Lect. Notes Comput. Sci. 12545, 23--42 (2020; Zbl 07369981) Full Text: DOI OpenURL
Makinson, David The phenomenology of second-level inference: perfumes in the deductive garden. (English) Zbl 1482.03006 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 327-342 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03A05 03B16 PDF BibTeX XML Cite \textit{D. Makinson}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 327--342 (2020; Zbl 1482.03006) Full Text: DOI OpenURL
Cimini, Matteo On the effectiveness of higher-order logic programming in language-oriented programming. (English) Zbl 07368087 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 106-123 (2020). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 106--123 (2020; Zbl 07368087) Full Text: DOI OpenURL
Badesa, Calixto; Bertran-San Millán, Joan Begriffsschrift’s logic. (English) Zbl 1485.03006 Notre Dame J. Formal Logic 61, No. 3, 409-440 (2020). MSC: 03-03 03A05 01A55 03B16 PDF BibTeX XML Cite \textit{C. Badesa} and \textit{J. Bertran-San Millán}, Notre Dame J. Formal Logic 61, No. 3, 409--440 (2020; Zbl 1485.03006) Full Text: DOI Euclid OpenURL
Pezlar, Ivo Composition of deductions within the propositions-as-types paradigm. (English) Zbl 1485.03231 Log. Univers. 14, No. 4, 481-493 (2020). MSC: 03F03 03B40 03B16 PDF BibTeX XML Cite \textit{I. Pezlar}, Log. Univers. 14, No. 4, 481--493 (2020; Zbl 1485.03231) Full Text: DOI OpenURL
Powell, Thomas On the computational content of Zorn’s lemma. (English) Zbl 07299511 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). 768-781 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{T. Powell}, 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). 768--781 (2020; Zbl 07299511) Full Text: DOI arXiv OpenURL
Bojańczyk, Mikołaj; Kelmendi, Edon; Stefański, Rafał; Zetzsche, Georg Extensions of \(\omega \)-regular languages. (English) Zbl 07299474 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). 266-272 (2020). MSC: 03B16 03B25 68Q45 PDF BibTeX XML Cite \textit{M. Bojańczyk} et al., 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). 266--272 (2020; Zbl 07299474) Full Text: DOI arXiv OpenURL
Parys, Paweł A type system describing unboundedness. (English) Zbl 1462.68109 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020). MSC: 68Q45 03B40 03D05 68Q17 PDF BibTeX XML Cite \textit{P. Parys}, Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020; Zbl 1462.68109) Full Text: DOI Link OpenURL
Weber, Matthias An extended type system with lambda-typed lambda-expressions. (English) Zbl 07285579 Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Weber}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020; Zbl 07285579) Full Text: arXiv Link OpenURL
Wright, Crispin Replies to Part I. Frege and logicism. (English) Zbl 07279918 Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 279-353 (2020). MSC: 03A05 01A61 01A60 01A70 PDF BibTeX XML Cite \textit{C. Wright}, in: Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 279--353 (2020; Zbl 07279918) Full Text: DOI OpenURL
Benzmüller, Christoph; Parent, Xavier; van der Torre, Leendert Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. (English) Zbl 07274579 Artif. Intell. 287, Article ID 103348, 28 p. (2020). MSC: 68Txx PDF BibTeX XML Cite \textit{C. Benzmüller} et al., Artif. Intell. 287, Article ID 103348, 28 p. (2020; Zbl 07274579) Full Text: DOI arXiv OpenURL
Sekorin, V. S. Partial fixed point for finite models in second order logic. (English) Zbl 07272825 Lobachevskii J. Math. 41, No. 9, 1672-1679 (2020). MSC: 03C13 03B16 68Q19 PDF BibTeX XML Cite \textit{V. S. Sekorin}, Lobachevskii J. Math. 41, No. 9, 1672--1679 (2020; Zbl 07272825) Full Text: DOI OpenURL
Abrahamsson, Oskar; Ho, Son; Kanabar, Hrutvik; Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Tan, Yong Kiam Proof-producing synthesis of CakeML from monadic HOL functions. (English) Zbl 1468.68056 J. Autom. Reasoning 64, No. 7, 1287-1306 (2020). MSC: 68N18 68N20 68V15 PDF BibTeX XML Cite \textit{O. Abrahamsson} et al., J. Autom. Reasoning 64, No. 7, 1287--1306 (2020; Zbl 1468.68056) Full Text: DOI OpenURL
Benzmüller, Christoph; Fuenmayor, David Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel’s ontological argument. (English) Zbl 1461.03021 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 127-148 (2020). MSC: 03B45 03B35 03-08 PDF BibTeX XML Cite \textit{C. Benzmüller} and \textit{D. Fuenmayor}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 127--148 (2020; Zbl 1461.03021) Full Text: DOI arXiv OpenURL
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio The power of the weak. (English) Zbl 1446.68089 ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020). MSC: 68Q60 03B16 03B45 68Q45 PDF BibTeX XML Cite \textit{F. Carreiro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020; Zbl 1446.68089) Full Text: DOI arXiv OpenURL
Rashid, Adnan; Hasan, Osman Formal verification of robotic cell injection systems up to 4-DOF using HOL Light. (English) Zbl 1458.68220 Formal Asp. Comput. 32, No. 2-3, 229-250 (2020). MSC: 68T40 68Q60 68V15 PDF BibTeX XML Cite \textit{A. Rashid} and \textit{O. Hasan}, Formal Asp. Comput. 32, No. 2--3, 229--250 (2020; Zbl 1458.68220) Full Text: DOI arXiv OpenURL
Ferreira, Fernando The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. (English) Zbl 1455.03077 Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020). Reviewer: Bruno Dinis (Lisboa) MSC: 03F10 03F35 03F50 03B40 03F25 PDF BibTeX XML Cite \textit{F. Ferreira}, Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020; Zbl 1455.03077) Full Text: DOI OpenURL
McCarty, Charles Satisfiability is false intuitionistically: a question from Dana Scott. (English) Zbl 1484.03129 Stud. Log. 108, No. 4, 803-813 (2020). MSC: 03F55 03B20 03F35 PDF BibTeX XML Cite \textit{C. McCarty}, Stud. Log. 108, No. 4, 803--813 (2020; Zbl 1484.03129) Full Text: DOI OpenURL
Ahmad, Waqar; Hasan, Osman; Tahar, Sofiène Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation. (English) Zbl 1451.68057 Formal Asp. Comput. 32, No. 1, 71-111 (2020). MSC: 68M15 68M10 68V15 PDF BibTeX XML Cite \textit{W. Ahmad} et al., Formal Asp. Comput. 32, No. 1, 71--111 (2020; Zbl 1451.68057) Full Text: DOI OpenURL
Restović, Ivan Why not fuzzy logic? (English) Zbl 1446.68155 Skansi, Sandro (ed.), Guide to deep learning basics. Logical, historical and philosophical perspectives. Cham: Springer. 29-40 (2020). MSC: 68T37 03B52 PDF BibTeX XML Cite \textit{I. Restović}, in: Guide to deep learning basics. Logical, historical and philosophical perspectives. Cham: Springer. 29--40 (2020; Zbl 1446.68155) Full Text: DOI OpenURL
Blumensath, Achim; Wolf, Felix Bisimulation invariant monadic-second order logic in the finite. (English) Zbl 1484.03047 Theor. Comput. Sci. 823, 26-43 (2020). MSC: 03B70 03B16 03B45 PDF BibTeX XML Cite \textit{A. Blumensath} and \textit{F. Wolf}, Theor. Comput. Sci. 823, 26--43 (2020; Zbl 1484.03047) Full Text: DOI arXiv Link OpenURL
Boney, Will Model theoretic characterizations of large cardinals. (English) Zbl 1443.03029 Isr. J. Math. 236, No. 1, 133-181 (2020). Reviewer: Luis Miguel Villegas Silva (Ciudad de México) MSC: 03E55 03C20 03C55 03C75 03C85 03E45 PDF BibTeX XML Cite \textit{W. Boney}, Isr. J. Math. 236, No. 1, 133--181 (2020; Zbl 1443.03029) Full Text: DOI arXiv OpenURL
Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza CryptHOL: game-based proofs in higher-order logic. (English) Zbl 1455.94121 J. Cryptology 33, No. 2, 494-566 (2020). MSC: 94A60 94A62 68V15 91A99 PDF BibTeX XML Cite \textit{D. A. Basin} et al., J. Cryptology 33, No. 2, 494--566 (2020; Zbl 1455.94121) Full Text: DOI OpenURL
Courcelle, Bruno On quasi-planar graphs: clique-width and logical description. (English) Zbl 1437.05059 Discrete Appl. Math. 278, 118-135 (2020). MSC: 05C10 05C05 05C85 05C75 03B16 PDF BibTeX XML Cite \textit{B. Courcelle}, Discrete Appl. Math. 278, 118--135 (2020; Zbl 1437.05059) Full Text: DOI HAL OpenURL
Abrahamsson, Oskar A verified proof checker for higher-order logic. (English) Zbl 1433.68527 J. Log. Algebr. Methods Program. 112, Article ID 100530, 19 p. (2020). MSC: 68V15 03B16 PDF BibTeX XML Cite \textit{O. Abrahamsson}, J. Log. Algebr. Methods Program. 112, Article ID 100530, 19 p. (2020; Zbl 1433.68527) Full Text: DOI OpenURL
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. Mechanizing Principia logico-metaphysica in functional type-theory. (English) Zbl 1484.03020 Rev. Symb. Log. 13, No. 1, 206-218 (2020). MSC: 03B35 03A05 03B38 03B45 68V15 PDF BibTeX XML Cite \textit{D. Kirchner} et al., Rev. Symb. Log. 13, No. 1, 206--218 (2020; Zbl 1484.03020) Full Text: DOI arXiv OpenURL
Kaufmann, Matt; Moore, J Strother Limited second-order functionality in a first-order setting. (English) Zbl 1468.68291 J. Autom. Reasoning 64, No. 3, 391-422 (2020). MSC: 68V15 03B35 68N15 68N18 PDF BibTeX XML Cite \textit{M. Kaufmann} and \textit{J S. Moore}, J. Autom. Reasoning 64, No. 3, 391--422 (2020; Zbl 1468.68291) Full Text: DOI OpenURL
Benzmüller, Christoph; Scott, Dana S. Automating free logic in HOL, with an experimental application in category theory. (English) Zbl 1434.68639 J. Autom. Reasoning 64, No. 1, 53-72 (2020). MSC: 68V15 03B16 03B35 03B60 18A15 PDF BibTeX XML Cite \textit{C. Benzmüller} and \textit{D. S. Scott}, J. Autom. Reasoning 64, No. 1, 53--72 (2020; Zbl 1434.68639) Full Text: DOI Link OpenURL
Clairambault, Pierre; Murawski, Andrzej S. On the expressivity of linear recursion schemes. (English) Zbl 07561694 Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 50, 14 p. (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Clairambault} and \textit{A. S. Murawski}, LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 50, 14 p. (2019; Zbl 07561694) Full Text: DOI OpenURL
Czajka, Łukasz; Kop, Cynthia Polymorphic higher-order termination. (English) Zbl 07559278 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 12, 18 p. (2019). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{Ł. Czajka} and \textit{C. Kop}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 12, 18 p. (2019; Zbl 07559278) Full Text: DOI OpenURL
Blanqui, Frédéric; Genestier, Guillaume; Hermant, Olivier Dependency pairs termination in dependent type theory modulo rewriting. (English) Zbl 07559275 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 9, 21 p. (2019). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{F. Blanqui} et al., LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 9, 21 p. (2019; Zbl 07559275) Full Text: DOI OpenURL
Guindon, Eric Meaning theory for absolutely general languages. (English) Zbl 1482.03005 Log. Anal., Nouv. Sér. 62, No. 248, 379-414 (2019). MSC: 03A05 03B10 03B16 PDF BibTeX XML Cite \textit{E. Guindon}, Log. Anal., Nouv. Sér. 62, No. 248, 379--414 (2019; Zbl 1482.03005) Full Text: DOI OpenURL
Hale, Bob Second-order logic: properties, semantics, and existential commitments. (English) Zbl 1475.03068 Synthese 196, No. 7, 2643-2669 (2019). MSC: 03B16 03A05 PDF BibTeX XML Cite \textit{B. Hale}, Synthese 196, No. 7, 2643--2669 (2019; Zbl 1475.03068) Full Text: DOI OpenURL
Dutilh Novaes, Catarina Axiomatizations of arithmetic and the first-order/second-order divide. (English) Zbl 1475.03089 Synthese 196, No. 7, 2583-2597 (2019). MSC: 03C62 03F30 03F35 03A05 PDF BibTeX XML Cite \textit{C. Dutilh Novaes}, Synthese 196, No. 7, 2583--2597 (2019; Zbl 1475.03089) Full Text: DOI OpenURL
Cook, Roy T. Possible predicates and actual properties. (English) Zbl 1475.03067 Synthese 196, No. 7, 2555-2582 (2019). MSC: 03B16 03A05 PDF BibTeX XML Cite \textit{R. T. Cook}, Synthese 196, No. 7, 2555--2582 (2019; Zbl 1475.03067) Full Text: DOI OpenURL
Hudetz, Laurenz The semantic view of theories and higher-order languages. (English) Zbl 1474.03025 Synthese 196, No. 3, 1131-1149 (2019). MSC: 03A05 03B16 PDF BibTeX XML Cite \textit{L. Hudetz}, Synthese 196, No. 3, 1131--1149 (2019; Zbl 1474.03025) Full Text: DOI OpenURL
Fujimoto, Kentaro Deflationism beyond arithmetic. (English) Zbl 1474.03019 Synthese 196, No. 3, 1045-1069 (2019). MSC: 03A05 03F30 03F35 PDF BibTeX XML Cite \textit{K. Fujimoto}, Synthese 196, No. 3, 1045--1069 (2019; Zbl 1474.03019) Full Text: DOI OpenURL
Dewar, Neil Ramsey equivalence. (English) Zbl 1474.03065 Erkenntnis 84, No. 1, 77-99 (2019). MSC: 03B16 03A05 PDF BibTeX XML Cite \textit{N. Dewar}, Erkenntnis 84, No. 1, 77--99 (2019; Zbl 1474.03065) Full Text: DOI OpenURL
Francez, Nissim A proof-theoretic semantics for parametric logical constants. (English) Zbl 1471.03078 Log. Anal., Nouv. Sér. 62, No. 247, 225-244 (2019). Reviewer: Takao Inoue (Tokyo) MSC: 03F03 03B22 PDF BibTeX XML Cite \textit{N. Francez}, Log. Anal., Nouv. Sér. 62, No. 247, 225--244 (2019; Zbl 1471.03078) Full Text: DOI OpenURL
Furuya, Isamu; Kida, Takuya Compaction of Church numerals. (English) Zbl 1461.68076 Algorithms (Basel) 12, No. 8, Paper No. 159, 16 p. (2019). MSC: 68P30 03B40 68Q42 PDF BibTeX XML Cite \textit{I. Furuya} and \textit{T. Kida}, Algorithms (Basel) 12, No. 8, Paper No. 159, 16 p. (2019; Zbl 1461.68076) Full Text: DOI OpenURL
Pavlović, Edi; Gratzl, Norbert Free logic and the quantified argument calculus. (English) Zbl 1465.03096 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 105-115 (2019). MSC: 03F03 03B16 03B65 PDF BibTeX XML Cite \textit{E. Pavlović} and \textit{N. Gratzl}, Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 105--115 (2019; Zbl 1465.03096) Full Text: DOI Link OpenURL
Fuenmayor, David; Benzmüller, Christoph Computational hermeneutics: an integrated approach for the logical analysis of natural-language arguments. (English) Zbl 07229671 Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 187-207 (2019). MSC: 68V15 68T50 PDF BibTeX XML Cite \textit{D. Fuenmayor} and \textit{C. Benzmüller}, in: Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16--17, 2018. Singapore: Springer. 187--207 (2019; Zbl 07229671) Full Text: DOI OpenURL
Wansing, Heinrich; Skurt, Daniel On non-transitive “identity”. (English) Zbl 1469.03083 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 535-553 (2019). MSC: 03B53 03B16 PDF BibTeX XML Cite \textit{H. Wansing} and \textit{D. Skurt}, Outst. Contrib. Log. 18, 535--553 (2019; Zbl 1469.03083) Full Text: DOI OpenURL
Fuenmayor, David; Benzmüller, Christoph Mechanised assessment of complex natural-language arguments using expressive logic combinations. (English) Zbl 1435.68315 Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 112-128 (2019). MSC: 68T27 68T50 68V15 PDF BibTeX XML Cite \textit{D. Fuenmayor} and \textit{C. Benzmüller}, Lect. Notes Comput. Sci. 11715, 112--128 (2019; Zbl 1435.68315) Full Text: DOI OpenURL
Charalambidis, Angelos; Nomikos, Christos; Rondogiannis, Panos The expressive power of higher-order Datalog. (English) Zbl 1434.68070 Theory Pract. Log. Program. 19, No. 5-6, 925-940 (2019). MSC: 68N17 68P15 68Q19 PDF BibTeX XML Cite \textit{A. Charalambidis} et al., Theory Pract. Log. Program. 19, No. 5--6, 925--940 (2019; Zbl 1434.68070) Full Text: DOI arXiv OpenURL
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. Lect. Notes Comput. Sci. 11716, 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 arXiv OpenURL
Bentkamp, Alexander; Blanchette, Jasmin; Tourret, Sophie; Vukmirović, Petar; Waldmann, Uwe Superposition with lambdas. (English) Zbl 1471.03014 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 55-73 (2019). Reviewer: Łukasz Czajka (Dortmund) MSC: 03B35 03B16 03B40 68V15 PDF BibTeX XML Cite \textit{A. Bentkamp} et al., Lect. Notes Comput. Sci. 11716, 55--73 (2019; Zbl 1471.03014) Full Text: DOI arXiv Link OpenURL
Boulkhrachef, S.; Moualdia, A.; Boudana, D. J.; Wira, P. Higher-order sliding mode control of a wind energy conversion system. (English) Zbl 07172243 Nonlinear Dyn. Syst. Theory 19, No. 4, 486-496 (2019). MSC: 03B52 93C42 94D05 PDF BibTeX XML Cite \textit{S. Boulkhrachef} et al., Nonlinear Dyn. Syst. Theory 19, No. 4, 486--496 (2019; Zbl 07172243) OpenURL
Bacon, Andrew Substitution structures. (English) Zbl 1457.03028 J. Philos. Log. 48, No. 6, 1017-1075 (2019). MSC: 03B38 03B16 03B40 PDF BibTeX XML Cite \textit{A. Bacon}, J. Philos. Log. 48, No. 6, 1017--1075 (2019; Zbl 1457.03028) Full Text: DOI OpenURL
Pradic, Pierre; Riba, Colin A Dialectica-like interpretation of a linear MSO on infinite words. (English) Zbl 1429.03214 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. Lect. Notes Comput. Sci. 11425, 470-487 (2019). MSC: 03F52 03D05 03B16 PDF BibTeX XML Cite \textit{P. Pradic} and \textit{C. Riba}, Lect. Notes Comput. Sci. 11425, 470--487 (2019; Zbl 1429.03214) Full Text: DOI OpenURL
Kurata, Toshihiko; Fujita, Ken-etsu Neighbourhood and lattice models of second-order intuitionistic propositional logic. (English) Zbl 1437.03041 Fundam. Inform. 170, No. 1-3, 223-240 (2019). MSC: 03B16 03B20 03G25 06D20 PDF BibTeX XML Cite \textit{T. Kurata} and \textit{K.-e. Fujita}, Fundam. Inform. 170, No. 1--3, 223--240 (2019; Zbl 1437.03041) Full Text: DOI OpenURL
Parisi, Andrew Sellars, second-order quantification, and ontological commitment. (English) Zbl 1427.03030 Hist. Philos. Log. 40, No. 1, 81-97 (2019). MSC: 03B16 03A05 PDF BibTeX XML Cite \textit{A. Parisi}, Hist. Philos. Log. 40, No. 1, 81--97 (2019; Zbl 1427.03030) Full Text: DOI OpenURL
Knop, Dušan; Koutecký, Martin; Masařík, Tomáš; Toufar, Tomáš Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity. (English) Zbl 1427.68125 Log. Methods Comput. Sci. 15, No. 4, Paper No. 12, 32 p. (2019). MSC: 68Q25 03B16 68Q60 68R10 PDF BibTeX XML Cite \textit{D. Knop} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 12, 32 p. (2019; Zbl 1427.68125) Full Text: arXiv OpenURL